Jump to main content

yr 〜
yr

Search results 4

オープンソフトウエアの形式モデルと検証技法に関する基礎的研究

オープンソフトウエアの形式モデルと検証技法に関する基礎的研究
Paper図書
稲垣, 康善, 名古屋大学1996-1997<Y151-H08458066>
National Diet Library
  • Subject Heading並行プログラミング 通信プロセスモデル 形式意味論 プログラミング環境 デバツ...

並行・分散計算の先進的理論に基づく分散プログラミング言語処理系の構築

並行・分散計算の先進的理論に基づく分散プログラミング言語処理系の構築
Paper図書
小林, 直樹, 東京大学1998-2000<Y151-H10558040>
National Diet Library
  • Subject Heading線形論理 型システム デツドロツク 分散プログラミング言語 並行プログラミング言語 オブジエクト指向 部分評価

並行計算に基づくエージエント計算系の論理的意味論に関する基礎研究

並行計算に基づくエージエント計算系の論理的意味論に関する基礎研究
Paper図書
富樫, 敦, 静岡大学1998-1999<Y151-H10680347>
National Diet Library
  • Subject Heading高階並行プロセス計算 動作的意味論 計算モデル 高階様相論理 タイプシステム 高階並行プログラミング言語 等価性 言語処理系

高階並行プロセス計算の基礎理論と実践

高階並行プロセス計算の基礎理論と実践
Paper図書
富樫, 敦, 静岡大学1996-1997<Y151-H08680343>
National Diet Library
  • Subject Heading高階並行プロセス計算 動作的意味論 計算モデル 高階様相論理 タイプシステム 高階並行プログラミング言語 等価性 言語処理系

Reached to the end of result.

RSS