Maude
http://maude.cs.uiuc.edu/primer/Maude 2.0 Primerは全6章。例題と解答付。 1. Foundation 2. Functional Modules 3. System Modules 4. Full Maude & Object-oriented Modules 5. Parameterization 6. Meta-Programming ということで、全6回で勉強会を進め…
http://maude.cs.uiuc.edu/primer/Maude 2.0 Primerは全6章。例題と解答付。 1. Foundation 2. Functional Modules 3. System Modules 4. Full Maude & Object-oriented Modules 5. Parameterization 6. Meta-Programming ということで、全6回で勉強会を進め…