Positive Supercompilation for a Higher-Order Call-By-Value Language
Peter A. JonssonJohan NordlanderPublished in: Log. Methods Comput. Sci. (2010)
Keyphrases
- higher order
- lambda calculus
- natural language
- pairwise
- natural images
- high order
- language learning
- programming language
- language processing
- databases
- conditional random fields
- information extraction
- positive and negative
- specification language
- natural language processing
- expressive power
- search engine
- machine learning
- data mining
- operational semantics
- database
- predicate invention