Inter-program Properties

DOI10.1007/978-3-642-03237-0_23zbMATH Open1248.68156OpenAlexW1590099241MaRDI QIDQ3392934FDOQ3392934

Authors: Andrei Voronkov, Iman Narasamdya 

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

Recommendations

• Properties of concurrent programs
• Product programs and relational program logics
• Verification of Probabilistic Programs
• Proof-Producing Program Analysis
• scientific article; zbMATH DE number 4070286

zbMATH Keywords

invarianttranslation validationassertion function

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (4)

• Product programs and relational program logics
• Inter-program Properties
• Programming Languages and Systems
• Relational decomposition

Uses Software

• CoVaC

This page was built for publication: Inter-program Properties

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