Provable Correctness of Prototype Interpreters in LDL
Abstract elided by the publisher.
Related papers
- The LDL - Language Development Laboratory CC 1992
- Class analyses as abstract interpretations of trace semantics TOPLAS 2003
- Seam: provably safe local edits on graphs OOPSLA 2017
- Logics for Extensional, Locally Complete Analysis via Domain Refinements ESOP 2023
- A Provably Correct Stackless Intermediate Representation for Java Bytecode APLAS 2010
- Towards Provably Correct Code Gneration for a Hard Real-Time Programming Language CC 1994
- Provably Correct Compiler Development and Implementation CC 1992
- A Provably Correct Embedded Verifier for the Certification of Safety Critical Software CAV 1997