Safe Low-level Code Generation in Coq Using Monomorphization and Monadification.

Akira Tanaka Reynald Affeldt Jacques Garrigue

Published in: J. Inf. Process. (2018)

Keyphrases

code generation
low level
application development
high level
software development
higher level
formal specification
formal methods
modeling language
rapid prototyping
code generator
model driven
software reuse
theorem prover
design patterns
software engineering
data sets