A Sound and Complete Algorithm for Code Generation in Distance-Based ISA.

Shu Sugita Toru Koizumi Ryota Shioya Hidetsugu Irie Shuichi Sakai

Published in: CC (2023)

Keyphrases

code generation
application development
software development
code generator
modeling language
formal specification
model driven
software reuse
rapid prototyping
data processing
design patterns
user interface
web applications