Verification of compiler correctness for the WAM

DOI10.1007/bfb0105415zbMATH Open1543.68228MaRDI QIDQ6567724

Cornelia Pusch

Publication date: 5 July 2024

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17) Formalization of mathematics in connection with theorem provers (68V20)

Cites Work

• Isabelle. A generic theorem prover
• Denotational and operational semantics for prolog
• A verified prolog compiler for the Warren Abstract Machine
• Evolving Algebras 1993: Lipari Guide
• Unnamed Item
• Unnamed Item

This page was built for publication: Verification of compiler correctness for the WAM