summaryrefslogtreecommitdiff
path: root/development/rmlmmc/README
blob: c553f8f163c311487de67c2b08fbc05a853178e4 (plain)
1
2
3
4
Relational Meta-Language (RML) and Tools
A System for Developing, Compiling and Debugging and Teaching
Structural Operational Semantics (SOS) and
Natural Semantics Specifications