Relational Meta-Language (RML)
ida.liu.seGeneration of efficient compilers and interpreters from Natural Semantics Specifications. Semantics for real programming languages like Java, Pascal, Modelica were developed.
Generation of efficient compilers and interpreters from Natural Semantics Specifications. Semantics for real programming languages like Java, Pascal, Modelica were developed.