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
Fixed points and frontiers: a new perspective - MaRDI portal

Fixed points and frontiers: a new perspective

From MaRDI portal

Publication:4939693

Jump to:navigation, search

DOI10.1017/S0956796800000071zbMath1155.68422OpenAlexW2148958851MaRDI QIDQ4939693

Chris Hankin, Sebastian Hunt

Publication date: 9 February 2000

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796800000071

zbMATH Keywords

abstract interpretation abstract domains computation of fixed points frontiers algorithm

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (1)

Least solutions of equations over N

Cites Work

Unnamed Item

This page was built for publication: Fixed points and frontiers: a new perspective

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