Fully Abstract Semantics for Observably Sequential Languages
Robert CartwrightPierre-Louis CurienMatthias FelleisenPublished in: Inf. Comput. (1994)
Keyphrases
- highly expressive
- specification languages
- logic programming
- database query languages
- grammatical inference
- propositional dynamic logic
- higher level
- expressive power
- knowledge representation languages
- database languages
- formal semantics
- relational query languages
- aggregate functions
- formal language
- graphical representation
- formal languages
- default reasoning
- query translation
- language independent
- cross lingual
- knowledge representation
- databases