Translational Semantics of a Co-evolution Specific Language with the EMF Transformation Virtual Machine.
Dennis WagelaarLudovico IovinoDavide Di RuscioAlfonso PierantonioPublished in: ICMT@TOOLS (2012)
Keyphrases
- virtual machine
- intended meaning
- operating system
- data center
- java virtual machine
- specification language
- logic programming language
- distributed computing
- computing resources
- logical language
- formal semantics
- high level
- highly expressive
- definition language
- model theoretic
- operational semantics
- conceptual graphs
- programming language
- transformation rules
- virtual memory
- natural language
- multi tasking
- logic programming
- action language
- databases
- java bytecode