C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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