Compilation as Rewriting in Higher Order Logic

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

Guodong Li, Konrad Slind

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

68N20: Theory of compilers and interpreters

68Q60: Specification and verification (program logics, model checking, etc.)

68Q42: Grammars and rewriting systems

Related Items

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

Uses Software

• Isabelle/HOL