On collecting semantics for program analysis

DOI10.1016/j.tcs.2020.02.021zbMath1440.68167OpenAlexW3007870257MaRDI QIDQ2182314

Gianluca Amato, Francesca Scozzari, Maria Chiara Meo

Publication date: 23 May 2020

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2020.02.021

zbMATH Keywords

Galois connectionstatic analysisabstract interpretationcollecting semantics

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Related Items

Decoupling the ascending and descending phases in abstract interpretation ⋮ On multi-language abstraction. Towards a static analysis of multi-language programs

Uses Software

• Soot

Cites Work

• Logic for programming, artificial intelligence, and reasoning. 18th international conference, LPAR-18, Mérida, Venezuela, March 11--15, 2012. Proceedings
• A theory of observables for logic programs
• Safety of abstract interpretations for free, via logical relations and Galois connections
• Abstract Interpretation, Logical Relations, and Kan Extensions
• The s-semantics approach: Theory and applications
• “Optimal” collecting semantics for analysis in a hierarchy of logic program semantics
• Abstract interpretation
• Abstract cofibered domains: Application to the alias analysis of untyped programs
• Temporal abstract interpretation
• Abstract Interpretation Frameworks
• Making abstract interpretations complete
• Observational Completeness on Abstract Interpretation
• Unnamed Item
• Unnamed Item
• Unnamed Item