The Correctness of a Code Generator for a Functional Language.

Nathanaël Courant Antoine Séré Natarajan Shankar

Published in: VMCAI (2020)

Keyphrases

functional language
code generator
functional programming
automatically generated
programming language
code generation
process model
proof planning
modeling language
execution model
object identity
object oriented programming
case study
multi agent systems
business processes