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
Observational Completeness on Abstract Interpretation - MaRDI portal

Observational Completeness on Abstract Interpretation

From MaRDI portal

Publication:5894358

Jump to:navigation, search

DOI10.3233/FI-2011-381zbMath1234.68246MaRDI QIDQ5894358

Francesca Scozzari, Gianluca Amato

Publication date: 22 November 2011

Published in: Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

cellular automata completeness static analysis abstract interpretation

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (2)

The role of linearity in sharing analysis ⋮ On collecting semantics for program analysis

This page was built for publication: Observational Completeness on Abstract Interpretation

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