rmlmmc: rmlmmc (Relational Meta-Language (RML) and Tools)
rmlmmc:
rmlmmc: This is a system for developing, compiling and debugging and teaching
rmlmmc: Structural Operational Semantics (SOS) and Natural Semantics
rmlmmc: Specifications.
rmlmmc:
rmlmmc:
rmlmmc:
rmlmmc:
rmlmmc:
rmlmmc: