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
Type-base flow analysis - MaRDI portal

Type-base flow analysis

From MaRDI portal

Publication:5178873

Jump to:navigation, search

DOI10.1145/360204.360208zbMath1323.68226OpenAlexW2079752311MaRDI QIDQ5178873

Manuel Fähndrich, Jakob Rehof

Publication date: 17 March 2015

Published in: Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/360204.360208

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Effect-polymorphic behaviour inference for deadlock checking ⋮ Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization ⋮ Polymorphic Fractional Capabilities

This page was built for publication: Type-base flow analysis

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