Combinators for impure yet hygienic code generation.
Yukiyoshi KameyamaOleg KiselyovChung-chieh ShanPublished in: PEPM (2014)
Keyphrases
- code generation
- software development
- application development
- mixed mode
- modeling language
- recursive functions
- formal specification
- code generator
- model driven
- software reuse
- design patterns
- data driven
- software engineering
- inductive inference
- design tools
- rapid prototyping
- development process
- end users
- image analysis
- information technology
- artificial intelligence