Predicate-formation for synthesizing LISP code.
Manoj K. KamaniR. S. RamakrishnaPublished in: IEEE Trans. Syst. Man Cybern. (1990)
Keyphrases
- learning theory
- programming language
- source code
- information systems
- case study
- knowledge representation
- computer programs
- dependency directed backtracking
- data sets
- programs written
- linux kernel
- program understanding
- code generation
- static analysis
- first order logic
- general purpose
- multiscale
- database systems
- social networks
- search engine