ReL: A Generic Refactoring Language for Specification and Execution.
Thomas RuhrothHeike WehrheimSteffen ZiegertPublished in: EUROMICRO-SEAA (2011)
Keyphrases
- specification language
- high level
- formal languages
- exception handling
- formal language
- programming language
- action language
- operational semantics
- natural language
- code generation
- formal specification
- source code
- domain specific
- language learning
- software systems
- business rules
- data flow
- application specific
- active rules
- conceptual model
- execution model
- natural language processing
- linear temporal logic
- highly modular