サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
パリ五輪
www.ldl.jaist.ac.jp
Overview CafeOBJ is a most advanced formal specification language which inherits many advanced features (e.g. flexible mix-fix syntax, powerful and clear typing system with ordered sorts, parameteric modules and views for instantiating the parameters, and module expressions, etc.) from OBJ (or more exactly OBJ3) algebraic specification language. CafeOBJ is a language for writing formal (i.e. mathe
このページを最初にブックマークしてみませんか?
『www.ldl.jaist.ac.jp』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く