On the Semantics of the Bad-Variable Constructor in Algol-like Languages.
Guy McCuskerPublished in: MFPS (2003)
Keyphrases
- programming language
- highly expressive
- database languages
- specification languages
- expressive power
- formal semantics
- database query languages
- knowledge representation languages
- logic programming
- formal language
- semantic information
- object oriented
- database
- language independent
- language constructs
- constraint language
- relational query languages
- grammatical inference
- operational semantics
- query translation
- bayesian networks
- information retrieval