Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article - MaRDI portal

scientific article

From MaRDI portal

Publication:3746868

Jump to:navigation, search

zbMath0607.68011MaRDI QIDQ3746868

Dieter Maurer

Publication date: 1986

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

parallelism functional programming demand driven functional programs higher order programs need expressions strictness detection strictness of higher order functions strictness of user defined functions

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items (3)

A safe approach to parallel combinator reduction ⋮ Strictness analysis and denotational abstract interpretation ⋮ Strictness analysis of the untyped \(\lambda\)-calculus

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3746868&oldid=17269582"