Making abstract domains condensing
From MaRDI portal
Publication:5277715
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
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