From: tadashi nagao <tadashi.nagao@...>
Date: 2008-03-20T09:22:48+09:00
Subject: [ruby-list:44793] モデル理論アプローチ

長尾です。
たまたま形式手法をさがしていたらCAST言語見つけました。
Ruby でも似たようなことができるかなと思っての投稿です。

http://www.geocities.jp/kisoten/backGround/index.html
http://www.geocities.jp/kisoten/source/techNote080101.doc

DSL的に実装するのは難しくないような気もしました。