Jump to main content

yr 〜
yr

Search results 7

代数的メタプログラミングに関する基礎的研究

代数的メタプログラミングに関する基礎的研究
Paper図書
濱口, 毅, 名古屋大学1996-1997<Y151-H08458067>
National Diet Library
  • Subject Headingメタ計算 書換え計算 項書換え系 並行計算 検証 代数的仕様 帰納的定理 被覆集合帰納法

論理学のプログラム言語理論への応用

論理学のプログラム言語理論への応用
Paper図書
岡田, 光弘, 慶応義塾大学1993-1994<Y151-H05808030>
National Diet Library
  • Subject Headingマルチ・パラダイム・プログラム言語 タイプ理論 項書き換え論理 証明論 代数的仕様言語 証明の正規化定理 π一計算 計算モデル

非停止プロセスの抽象化と代数的仕様記述に関する基礎的研究

非停止プロセスの抽象化と代数的仕様記述に関する基礎的研究
Paper図書
坂部, 俊樹, 名古屋大学1988-1989<Y151-S63580025>
National Diet Library
  • Subject Heading非停止プロセス 等式論理 代数的仕様記述 並行プロセス CCS 木パターンマツチング

次世代の総合情報処理システムに関する研究

次世代の総合情報処理システムに関する研究
Paper図書
白鳥, 則郎, 東北大学1995-1996<Y151-H07308028>
National Diet Library
  • Subject Headingやわらかいネツトワーク ネツトワークアーキテクチヤ ヒユーマンインタフエース ソフトウエア開発 分散人工知能 仮想現実感 ソフトウエアプロセス 代数的仕様記述法

代数的仕様記述法に基づくソフトウェア開発支援システムの開発研究

代数的仕様記述法に基づくソフトウェア開発支援システムの開発研究
Paper図書
稲垣康善, 名古屋大学1987-1988<Y151-S62880007>
National Diet Library
  • Subject Headingソフトウエア 代数的仕様記述 データ型 型構成子 直接実現 項書換え系 プロトタイピ...

代数的手法に基づく並列計算システムの仕様記述・検証の基礎的研究

代数的手法に基づく並列計算システムの仕様記述・検証の基礎的研究
Paper図書
稲垣, 康善, 名古屋大学1985-1986<Y151-S60550263>
National Diet Library
  • Subject Heading並列計算システム 代数的仕様記述法 仕様の検証 CCS CSP 時相論理 通信プロトコル...

形式的手法を用いたインタラクティブシステム設計法

形式的手法を用いたインタラクティブシステム設計法
Digital博士論文
池田, 瑞穂奈良先端科学技術大学院大学2002-03-22
Other Libraries in Japan
  • Subject Headingインタラクティブシステム ユーザインタフェース 形式的記述 形式的検証 タスク図 代数的仕様記述 抽象的順序機械 コンパイラ

Reached to the end of result.

RSS