Login / Signup
Constraint analysis for code generation: basic techniques and applications in FACTS.
Koen van Eijk
Bart Mesman
Carlos A. Alba Pinto
Qin Zhao
Marco Bekooij
Jef L. van Meerbergen
Jochen A. G. Jess
Published in:
ACM Trans. Design Autom. Electr. Syst. (2000)
Keyphrases
</>
code generation
information technology
application development
databases
artificial intelligence
knowledge base
database systems
data analysis
image analysis
open source
software development
life cycle
formal specification
software reuse