Positive supercompilation for a higher order call-by-value language.
Peter A. JonssonJohan NordlanderPublished in: POPL (2009)
Keyphrases
- higher order
- lambda calculus
- natural images
- programming language
- positive and negative
- pairwise
- low order
- representation language
- markov random field
- language learning
- high order
- lower order
- general purpose
- real time
- data sets
- natural language
- computational linguistics
- target language
- language processing
- computer programs
- inductive learning
- machine learning
- decision trees
- object oriented
- expert systems