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
Improving Lazy Non-Deterministic Computations by Demand Analysis - MaRDI portal

Improving Lazy Non-Deterministic Computations by Demand Analysis

From MaRDI portal

Publication:5398051

Jump to:navigation, search

DOI10.4230/LIPIcs.ICLP.2012.130zbMath1281.68081OpenAlexW778229461MaRDI QIDQ5398051

Michael Hanus

Publication date: 25 February 2014

Full work available at URL: http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.130

zbMATH Keywords

implementation program analysis functional logic programming

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

This page was built for publication: Improving Lazy Non-Deterministic Computations by Demand Analysis

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