Abstract interpretation

DOI10.1145/2603088.2603165MaRDI QIDQ4635587zbMATH OpenOpenAlexFDO

Authors Patrick Cousot, Radhia Cousot

Publication date 23 April 2018

Published in Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (Search for Journal in Brave)

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

zbMATH Keywords

verificationsemanticsabstract interpretationstatic analysisproof

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2087617
• On the power of abstract interpretation
• Principles of abstract interpretation
• scientific article; zbMATH DE number 3901998
• Abstract interpretation from a denotational-semantics perspective
• Refining abstract interpretations
• Abstract interpretation with unfoldings
• Transforming semantics by abstract interpretation
• Frameworks for abstract interpretation
• On abstraction and interpretability: a behavioural perspective

Cited in

(22)

• Proceedings of the 6th international workshop on numerical and symbolic abstract domains, NSAD 2016, Edinburgh, UK, September 11, 2016
• scientific article; zbMATH DE number 1948388 (Why is no real title available?)
• Transforming imperative programs into bisimilar logically constrained term rewrite systems via injective functions from configurations to terms
• Abstraction of syntax
• On multi-language abstraction. Towards a static analysis of multi-language programs
• Abstract Interpretation of Symbolic Execution with Explicit State Updates
• Bridging static and dynamic program analysis using fuzzy logic
• Automating abstract interpretation
• Programming Languages and Systems
• Thread-modular analysis of release-acquire concurrency
• Logics for extensional, locally complete analysis via domain refinements
• scientific article; zbMATH DE number 2087617 (Why is no real title available?)
• A framework for analysing state-abstraction methods
• A survey on product operators in abstract interpretation
• Abstract Interpretation with Applications to Timing Validation
• Verification by abstract interpretation
• Broadening the applicability of local completeness analysis with intensional and extensional guarantees
• Principles of abstract interpretation
• Abstract interpretation of indexed grammars
• On collecting semantics for program analysis
• Abstract interpretation as automated deduction
• Integrated and automated abstract interpretation, verification and testing of C/C++ modules

This page was built for publication: Abstract interpretation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4635587)