Compilation as Rewriting in Higher Order Logic

DOI10.1007/978-3-540-73595-3_3zbMath1213.68194OpenAlexW1746660792MaRDI QIDQ3608760

Konrad Slind, Guodong Li

Publication date: 6 March 2009

Published in: Automated Deduction – CADE-21 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73595-3_3

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items (2)

A formally verified compiler back-end ⋮ A Brief Overview of HOL4

Uses Software

• Isabelle/HOL

This page was built for publication: Compilation as Rewriting in Higher Order Logic