Specifying the Static Semantics of Block Structural Languages.
Roger DukeD. JohnstonGordon A. RosePublished in: Aust. Comput. J. (1987)
Keyphrases
- highly expressive
- structural constraints
- expressive power
- structural information
- formal semantics
- specification languages
- database query languages
- knowledge representation languages
- databases
- aggregate functions
- structural analysis
- formal languages
- transformation rules
- structural features
- text summarization
- cross lingual
- description logics
- knowledge representation