SDL フローチャートベースの図式表現、交換機の記述に広く利用 Esetelle 手続き型言語による記述、データリンク層の記述（に使われていた） LOTOS プロセス代数をもとした体型、データリンク層の記述・接続試験 Petri Nets グラフ表現、通信プロトコル、生産…

表示的意味論 公理的意味論 操作的意味論

Instruction Machine module Mac1 import StdEnv,StdString ::State = { pc :: Word , ac :: Word , sp :: Word , mm :: Memory } :: Word :== Int :: Addr :== Word word_bound :== 2^16 sign_bound :== 2^15 addr_bound :== 2^12 oper_bound :== 2^12 (|+|…

http://www.kt.rim.or.jp/~tyamamot/forthj/threaded-codej.html