Miroirs/slackbuilds_ponce
1
0
Fork 0
mirror of https://github.com/Ponce/slackbuilds synced 2024-11-25 10:03:03 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions
slackbuilds_ponce/development/rmlmmc/README

5 lines
179 B
Text
Raw Normal View History

development/rmlmmc: Added (Relational Meta-Language). Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2014-10-20 02:59:14 +02:00
Relational Meta-Language (RML) and Tools
A System for Developing, Compiling and Debugging and Teaching
Structural Operational Semantics (SOS) and
Natural Semantics Specifications
Reference in a new issue Copy permalink