Inter-program Properties

DOI10.1007/978-3-642-03237-0_23zbMath1248.68156OpenAlexW1590099241MaRDI QIDQ3392934

Iman Narasamdya, Andrei Voronkov

Publication date: 18 August 2009

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-03237-0_23

zbMATH Keywords

invarianttranslation validationassertion function

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Relational Decomposition ⋮ Inter-program Properties

Uses Software

• CoVaC

Cites Work

• Relational separation logic
• Inter-program Properties
• Symbolic transfer function-based approaches to certified compilation
• Simple relational correctness proofs for static analyses and program transformations
• Certificate Translation for Optimizing Compilers
• Is “sometime” sometimes better than “always”?
• Proving correctness of compiler optimizations by temporal logic
• Information flow inference for ML
• Automated soundness proofs for dataflow analyses and transformations via local rules
• Formal certification of a compiler back-end or
• An axiomatic basis for computer programming
• Static Analysis

This page was built for publication: Inter-program Properties