Strength Induction in a Haskell Program Verifier.
Richard B. KieburtzPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- programming language
- functional programs
- program synthesis
- computer programs
- functional programming
- functional language
- neural network
- database systems
- similarity measure
- real time
- programming environment
- inductive learning
- control program
- plagiarism detection
- static analysis
- concept learning
- online learning
- computer science
- data structure
- machine learning
- databases