関数型プログラミングと計算の基礎について (<特集>関数型プログラミングと計算の基礎)
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人日本ソフトウェア科学会の論文
- 1991-01-14
一般社団法人日本ソフトウェア科学会 | 論文
- 再帰的属性評価器における領域割り当てアルゴリズム
- 環境適応型のQoS制御を行うネットワーク資源管理システム
- 隣接しない動作間の時間制約を記述するためのLOTOS言語の拡張とその等価性の検証
- LOTOSによるソフトウェアプロセスの記述とその実行
- 整数上の線形制約の処理と応用 (制約論理プログラミング)