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