Preconditions for Structural Synthesis of Programs.
Vahur KotkasPublished in: Ershov Memorial Conference (2006)
Keyphrases
- functional programs
- structural analysis
- structural information
- program synthesis
- automatic programming
- real time
- texture synthesis
- explanation based learning
- answer sets
- prolog programs
- java programs
- fixpoint
- information technology
- data structure
- information systems
- search engine
- learning algorithm
- information retrieval
- databases
- data sets