From Denotational to Operational and Axiomatic Semantics for ALGOL-like Languages: an Overview.
Boris A. TrakhtenbrotJoseph Y. HalpernAlbert R. MeyerPublished in: Logic of Programs (1983)
Keyphrases
- operational semantics
- programming language
- highly expressive
- formal semantics
- database languages
- expressive power
- language independent
- specification languages
- database query languages
- decision making
- semantic web languages
- text summarization
- formal language
- language identification
- constraint language
- semantic web
- logic programming
- grammatical inference
- n gram
- formal languages
- high level
- information retrieval
- databases