A software engineering paradigm for program synthesis.
Claire P. WillisDerek J. PaddonPublished in: Softw. Eng. J. (1994)
Keyphrases
- program synthesis
- software engineering
- recursive programs
- programming language
- software systems
- artificial intelligence
- software development
- design patterns
- software reuse
- prior knowledge
- software projects
- formal methods
- object oriented
- query language
- general purpose
- machine learning algorithms
- reinforcement learning
- relational learning
- software engineers
- decision trees
- information retrieval