An Inductive Programming Approach to Algebraic Specification.
Lutz HamelChi ShenPublished in: AAIP (2007)
Keyphrases
- reactive systems
- programming language
- inductive learning
- high level
- machine learning
- specification language
- code generation
- exception handling
- programming environment
- formal specification
- inductive inference
- computer programming
- data sets
- genetic algorithm
- programming course
- formal methods
- database
- inductive logic programming
- conceptual model
- higher order
- object oriented
- case study