Making abstract domains condensing

DOI10.1145/1042038.1042040zbMath1367.68065OpenAlexW1973325907MaRDI QIDQ5277715

Roberto Giacobazzi, Francesca Scozzari, Francesco Ranzato

Publication date: 12 July 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

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

zbMATH Keywords

completenesscondensationlinear logicabstract interpretationabstract domainlogic program analysis

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)

Related Items (2)

Transforming Abstract Interpretations by Abstract Interpretation ⋮ Optimality and condensing of information flow through linear refinement

This page was built for publication: Making abstract domains condensing