2006-06-19 VDMインタプリタ を作ってみた。ただし、以下のソースしか動かない。(^^; /* はじめてのVDM */ class HelloVDM operations public hello: () ==> seq of int hello() == return "Hello VDM++"; end HelloVDM 完成にはほど遠いし、完成させる気もなかったりする・・・。(−o−)