Making abstract domains condensing
From MaRDI portal
Publication:5277715
DOI10.1145/1042038.1042040zbMath1367.68065MaRDI 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
completeness; condensation; linear logic; abstract interpretation; abstract domain; logic program analysis
03B70: Logic in computer science
68Q55: Semantics in the theory of computing
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Optimality and condensing of information flow through linear refinement, Transforming Abstract Interpretations by Abstract Interpretation