A Syntax-Directed Approach to the Semantics of Concurrent Languages.
Egidio AstesianoGianna ReggioPublished in: IFIP Congress (1986)
Keyphrases
- language constructs
- operational semantics
- concurrent programs
- highly expressive
- definition language
- context free grammars
- formal languages
- constraint language
- specification languages
- formal semantics
- rule language
- expressive power
- lexical semantics
- semantic information
- machine processable
- database query languages
- process algebra
- natural language
- formal language
- type checking
- word order
- predicate calculus
- attribute grammars
- precisely defined
- database languages
- text summarization
- logic programming
- natural language processing
- cross lingual
- language independent
- grammatical inference
- context free languages
- query language
- programming language
- databases