The spoofax language workbench: rules for declarative specification of languages and IDEs.
Lennart C. L. KatsEelco VisserPublished in: OOPSLA (2010)
Keyphrases
- declarative language
- highly expressive
- formal languages
- formal language
- specification language
- linguistic resources
- rule engine
- native language
- target language
- knowledge representation languages
- description languages
- knowledge representation
- constraint language
- deductive databases
- object oriented languages
- declarative semantics
- operational semantics
- business rules
- attribute grammars
- high level
- function free horn
- uml diagrams
- linear temporal logic
- english text
- active rules
- expressive power
- language independent
- source language
- multilingual documents
- formal semantics
- syntactic categories
- programming language
- production rules
- action language
- formal specification
- natural language
- semantic web rule language
- word forms
- modeling language
- computer programs
- indian languages
- language specific
- context free
- rule language
- description language
- cross lingual
- lightweight
- xml documents
- context free grammars
- event condition action
- type checking
- domain specific languages
- bilingual dictionaries