An induction system that learns programs in different programming languages using genetic programming and logic grammars.
Man Leung WongKwong-Sak LeungPublished in: ICTAI (1995)
Keyphrases
- programming language
- functional programs
- functional language
- logic programming
- database languages
- computer programs
- high level programming language
- programs written
- lambda calculus
- concurrent programming
- programming environment
- programming language constructs
- functional programming
- general purpose
- object oriented
- grammar induction
- denotational semantics
- program code
- high level
- strongly typed
- machine learning
- modal logic
- software engineering
- predicate calculus
- predicate logic
- programming paradigms
- constraint logic programming
- source code