Code Generation Using a Formal Model of Reference Counting.

Gaspard Férey Natarajan Shankar

Published in: NFM (2016)

Keyphrases

formal model
code generation
application development
software development
code generator
formal models
modeling language
formal specification
model driven
software reuse
rapid prototyping
design patterns
real world
software systems
data processing
security properties
data mining