Building specifications as a domain-specific aspect language.
Max E. KramerJacques KleinJim R. H. SteelPublished in: DSAL@AOSD (2012)
Keyphrases
- domain specific
- specification language
- programming language
- general purpose
- operational semantics
- formal language
- natural language
- domain independent
- high level
- formal descriptions
- language processing
- digital libraries
- description language
- english language
- conceptual models
- temporal logic
- semantic constraints
- attribute grammars
- computational linguistics
- databases
- language learning
- information systems
- artificial intelligence