A Reduction Semantics for Imperative Higher-Order Languages.
Matthias FelleisenDaniel P. FriedmanPublished in: PARLE (2) (1987)
Keyphrases
- higher order
- higher order logic
- database query languages
- highly expressive
- lambda calculus
- natural images
- expressive power
- high order
- formal language
- formal semantics
- language independent
- specification languages
- lower order
- markov random field
- constraint language
- formal languages
- relational query languages
- reduction method
- low order
- logic programming
- pairwise
- language constructs
- databases
- target language
- conditional random fields
- object oriented
- knowledge representation languages
- probabilistic model