Specification, verification and prototyping of an optimized compiler

DOI10.1007/BF03259390zbMath0829.68084WikidataQ56940226 ScholiaQ56940226MaRDI QIDQ1346607

Jifeng He, Jonathan P. Bowen

Publication date: 6 April 1995

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

Prologalgebraic methodcompiler

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)

Related Items (4)

An algebraic hardware/software partitioning algorithm ⋮ Jifeng He at Oxford and beyond: an appreciation ⋮ A Relational Approach to an Algebraic Community: From Paul Erdős to He Jifeng ⋮ A formal model of real-time program compilation

Cites Work

• A demonstrably correct compiler
• Deriving correctness properties of compiled code
• Normal form approach to compiler design
• A verified prolog compiler for the Warren Abstract Machine
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Specification, verification and prototyping of an optimized compiler