定理証明システムのための統合サーバの作成
スポンサーリンク
概要
- 論文の詳細を見る
現在, 我々は代数仕様記述言語CafeOBJをベースにしたネットワーク分散型の代数仕様作成支援統合環境を構築中である。このシステムの概要を図1に示す。システムは仕様の編集や他の仕様の検索を支援する編集・検索系, 記述された仕様をプログラムとみなして実行する言語処理系, および記述された仕様の検証を支援する検証支援系から構成される。
- 一般社団法人情報処理学会の論文
- 1997-09-24
著者
関連論文
- EWS(AS3000シリーズ)用AIツール : KCLとUNIFYとの結合
- 定理証明システムのための統合サーバの作成
- 項書換え系に基づく定理証明支援環境の構築
- 項書換え抽象機械における組み込み演算の処理
- 代数仕様言語CafeOBJのパラメータ化機構
- 実行可能な形式仕様言語CafeOBJ(4) : CafeOBJによるZ仕様のアニメーションの枠組み
- 実行可能な形式仕様言語cafeOBJ(3) : CafeOBJによるオブジェクト指向システムの仕様記述ライブラリの記述
- 実行可能な形式仕様言語CafeOBJ(2) : Cafeシステムの核アーキテクチャ
- 実行可能な形式仕様言語CafeOBJ(1) : CafeOBJの宣言的意味論