2008年2月20日

[ruby-list:44664] Ruby で形式手法

長尾といいます。

素朴な質問ですみません。

Ruby の仕様の中に、なんらかの形で、
形式手法を盛り込むことは可能なのでしょうか?

CafeOBJ 的なことができると面白いような気がします。

http://www.jaist.ac.jp/~t-seino/lectures/cafeobj-intro-j/

投稿者 xml-rpc : 2008年2月20日 11:49
役に立ちました?:
過去のフィードバック 平均:(0) 総合:(0) 投票回数:(0)
本記事へのTrackback: http://hoop.euqset.org/blog/mt-tb2006.cgi/70012
トラックバック
コメント
コメントする




画像の中に見える文字を入力してください。