DagRep.13.7.66.pdf
- Filesize: 2.47 MB
- 30 pages
Document
Theoretical Advances and Emerging Applications in Abstract Interpretation (Dagstuhl Seminar 23281)
Authors and all authors of the abstracts in this report
-
Part of:
Issue:
Dagstuhl Reports, Volume 13, Issue 7
Volume: Dagstuhl Reports, Volume 13
Journal: Dagstuhl Reports (DagRep) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2024-03-08
Cite AsGet BibTex
Arie Gurfinkel, Isabella Mastroeni, Antoine Miné, Peter Müller, and Anna Becchi. Theoretical Advances and Emerging Applications in Abstract Interpretation (Dagstuhl Seminar 23281). In Dagstuhl Reports, Volume 13, Issue 7, pp. 66-95, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/DagRep.13.7.66
https://doi.org/10.4230/DagRep.13.7.66
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 23281 "Theoretical Advances and Emerging Applications in Abstract Interpretation."
Abstract Interpretation (AI) is a theory of the approximation of program semantics. Since its introduction in the 70s, it lead to insights into theoretical research in semantics, a rich and robust mathematical framework to discuss about semantic approximation and program analysis, and the design of effective program analysis tools that are now routinely used in this industry. The seminar brought together academic and industrial partners to assess the state of the art in AI as well as discuss its future. It considered its foundational aspects, connections with other formal methods, emergent applications, user needs in program verification, tool design and evaluation, as well as educational aspects and community management. Its goal was to collect new ideas and new perspectives on all these aspects of AI in order to pave the way for new applications.
Subject Classification
ACM Subject Classification
- Software and its engineering → Automated static analysis
- Software and its engineering → Completeness
- Software and its engineering → Correctness
- Software and its engineering → Formal methods
- Software and its engineering
- Software and its engineering → Software functional properties
- Software and its engineering → Software safety
- Software and its engineering → Software verification and validation
Keywords
- abstract domains
- abstract interpretation
- program semantics
- program verification
- static program analysis
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads