Certified Static Analysis by Abstract Interpretation

DOI10.1007/978-3-642-03829-7_8zbMath1252.68073OpenAlexW1480767630MaRDI QIDQ3184788

No author found.

Publication date: 22 October 2009

Published in: Foundations of Security Analysis and Design V (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-03829-7_8

Mathematics Subject Classification ID

Uses Software

• Coq
• Jakarta

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Verified bytecode verifiers.
• Extracting a data flow analyser in constructive logic
• Towards a mechanized metatheory of standard ML
• Abstract interpretation and application to logic programs
• Systematic design of program transformation frameworks by abstract interpretation
• Abstract Interpretation Frameworks
• Formal certification of a compiler back-end or
• Building Certified Static Analysers by Modular Construction of Well-founded Lattices
• Fundamental Approaches to Software Engineering
• FM 2005: Formal Methods
• Types for Proofs and Programs
• Types for Proofs and Programs

This page was built for publication: Certified Static Analysis by Abstract Interpretation