A code generator framework for Isabelle/HOL (2007)

by Florian Haftmann , Tobias Nipkow
Venue:Department of Computer Science, University of Kaiserslautern
Citations:10 - 4 self

Document Versions

A code generator framework for Isabelle/HOL –Florian Haftmann, Tobias Nipkow — 2007 — Department of Computer Science, University of Kaiserslautern