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回で勉強会を進めてゆけばよいか。
今年は項書き換え系の勉強をしよう。
まー、Maude Primerはネタなので、項書き換え系の論文を紹介するとか
いろいろみんなでやっていきたいところ。
参考書籍
http://www.amazon.co.jp/dp/0521779200
参考資料
http://www.nue.riec.tohoku.ac.jp/lab-intro/TRS-intro/98ss_intro_trs.pdf