Semantics and scoping of aspects in higher-order languages.
Christopher DutchynDavid B. TuckerShriram KrishnamurthiPublished in: Sci. Comput. Program. (2006)
Keyphrases
- higher order
- database query languages
- lambda calculus
- highly expressive
- higher order logic
- specification languages
- high order
- semantic aspects
- formal language
- markov random field
- natural images
- expressive power
- language independent
- formal semantics
- information retrieval
- cross lingual
- object oriented
- pairwise
- default reasoning
- aggregate functions
- type checking
- dynamic aspects
- database languages
- semantic information
- logic programming
- knowledge representation languages
- databases