Producing Certified Functional Code from Inductive Specifications.
Pierre-Nicolas TollitteDavid DelahayeCatherine DuboisPublished in: CPP (2012)
Keyphrases
- code generation
- recursive programs
- unit testing
- control flow
- machine learning
- high quality
- functional analysis
- inductive learning
- formal specification
- program synthesis
- data mining
- learning algorithm
- knowledge base
- high level
- data flow
- application development
- concept learning
- information systems
- test cases
- fully functional
- functional properties
- logic programs
- concurrent systems
- web services