Code Generation for Functions as Data

MaRDI QIDQ7361667FDO

Authors Andreas Lochbihler

Publication date 6 May 2009

Cited in

(6)

• Nominal 2
• Jinja with Threads
• Sorted Terms
• A Formal Model of Extended Finite State Machines
• Munta: A Verified Model Checker for Timed Automata
• The Correctness of Launchbury's Natural Semantics for Lazy Evaluation

This page was built for software: Code Generation for Functions as Data