Compiling Natural Semantics

The Varieties of Programming Language Semantics

PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia

Maude MSOS Tool

Electronic Notes in Theoretical Computer Science (ENTCS)

SASyLF: an educational proof assistant for language theory

Proceedings of the 2008 international workshop on Functional and declarative programming in education

Composition of XML Dialects: A ModelicaXML Case Study

Electronic Notes in Theoretical Computer Science (ENTCS)

The Rewriting Logic Semantics Project

Electronic Notes in Theoretical Computer Science (ENTCS)

Formally specified type checkers for domain specific languages: experience report

Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications

The modelica object-oriented equation-based language and its open modelica environment with meta modeling, interoperability, and parallel execution

SIMPAR'10 Proceedings of the Second international conference on Simulation, modeling, and programming for autonomous robots

MetaModelica: a unified equation-based semantical and mathematical modeling language

JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages

A comparison of two metacompilation approaches to implementing a complex domain-specific language

Proceedings of the 27th Annual ACM Symposium on Applied Computing