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
Logics for extensional, locally complete analysis via domain refinements - MaRDI portal

Logics for extensional, locally complete analysis via domain refinements

From MaRDI portal

Publication:6535224

Jump to:navigation, search

DOI10.1007/978-3-031-30044-8_1zbMath1541.68099MaRDI QIDQ6535224

Roberta Gori, Roberto Bruni, Flavio Ascari

Publication date: 24 November 2023

zbMATH Keywords

extensionality Hoare logic abstract interpretation abstract domain refinement completeness in abstract interpretation

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Logics for extensional, locally complete analysis via domain refinements

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