Observational completeness on abstract interpretation

DOI10.3233/FI-2011-381MaRDI QIDQ5894358zbMATH OpenFDO

Authors Gianluca Amato, Francesca Scozzari

Publication date 22 November 2011

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/FI-2011-381

zbMATH Keywords

abstract interpretationcellular automatacompletenessstatic analysis

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Observational Completeness on Abstract Interpretation
• Making abstract interpretations complete
• scientific article; zbMATH DE number 1222407
• Making abstract models complete
• Programming Languages and Systems

Cited in

(6)

• On collecting semantics for program analysis
• scientific article; zbMATH DE number 1222407 (Why is no real title available?)
• The role of linearity in sharing analysis
• Programming Languages and Systems
• Completion Is an Instance of Abstract Canonical System Inference
• Observational Completeness on Abstract Interpretation

This page was built for publication: Observational completeness on abstract interpretation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5894358)