Comparison of abstract interpretations
From MaRDI portal
Publication:5204344
DOI10.1007/3-540-55719-9_101zbMath1425.68066MaRDI QIDQ5204344
Agostino Cortesi, Gilberto File, William Winsborough
Publication date: 4 December 2019
Published in: Automata, Languages and Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-55719-9_101
68N15: Theory of programming languages
68Q55: Semantics in the theory of computing
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Set-sharing is redundant for pair-sharing, The powerset operator on abstract interpretations, Design of abstract domains using first-order logic