Modal Types as Staging Specifications for Run-Time Code Generation.

Philip Wickline Peter Lee Frank Pfenning Rowan Davies

Published in: ACM Comput. Surv. (1998)

Keyphrases

code generation
application development
modeling language
formal specification
software development
rapid prototyping
software reuse
code generator
model driven
real world
decision making
data driven
temporal logic
modal logic