Generic Executable Semantics for D-Clean.
Viktória ZsókPieter W. M. KoopmanRinus PlasmeijerPublished in: Electron. Notes Theor. Comput. Sci. (2011)
Keyphrases
- formal semantics
- domain specific
- control flow
- intended meaning
- real world
- attribute grammars
- artificial intelligence
- formal specification
- logic programming
- semantic information
- process algebra
- application specific
- logical language
- operational semantics
- specification language
- real time
- domain knowledge
- learning algorithm
- databases