年 〜
年

検索結果 2 件

並行論理プログラミングに基づく広域分散計算パラダイムの構築

並行論理プログラミングに基づく広域分散計算パラダイムの構築
紙図書
上田, 和紀, 早稲田大学1999-2001<Y151-H11680370>
国立国会図書館
  • 件名並行論理プログラミング GHC KL1 宣言型言語 広域分散計算 プログラム解析 ...

並行論理プログラミングにおける静的モード体系の応用的側面に関する研究

並行論理プログラミングにおける静的モード体系の応用的側面に関する研究
紙図書
上田, 和紀, 早稲田大学1995-1997<Y151-H07680371>
国立国会図書館
  • 件名並行論理プログラミング モード体系 モード解析 プログラム診断 デバツグ 制約充足...

検索結果は以上です。