Prescriptive Semantics for Big-Step Modelling Languages.
Shahram EsmaeilsabzaliNancy A. DayPublished in: FASE (2010)
Keyphrases
- highly expressive
- expressive power
- semantic information
- specification languages
- description logics
- database query languages
- formal semantics
- operational semantics
- context free grammars
- knowledge representation languages
- database languages
- multi lingual
- language identification
- information retrieval
- query translation
- language independent
- cross lingual
- case based reasoning
- knowledge base