関数型プログラムのストリクト性関連解析と最適化技術 (<特集>関数型プログラミングとその応用)
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1988-08-15
著者
関連論文
- データフローマシンにおける部分計算(ソフトウェア科学・工学の数理的方法)
- 関数型言語の並列要求駆動型計算における副作用解析
- 最小不動点計算に基づくプログラムの帰納的性質の導出 (並列処理)
- ディジタル携帯電話回線におけるARQのTCP/IP伝送特性に対する影響と伝送特性の改善方法について
- インターネットQoSビジュアライザの構成
- 公開鍵ベースケルベロス認証サービスにおけるサービスチケット失効リストの分散管理法の提案
- ISDNを用いた高精度時計同期方法
- 関数型プログラムのストリクト性関連解析と最適化技術 (関数型プログラミングとその応用)