An Extended Iteration Statement and Its Computability (Studies on Computational Complexities and Related Topics)
スポンサーリンク
概要
著者
関連論文
- ある種のグラフの極大マッチングを与える線形時間アルゴリズム (情報科学の数学的基礎理論と応用)
- フローグラフの分枝数について (組合せ構造とグラフ理論)
- 不確定セルオートマタによる不確定並列写像の逆写像と単射性について (オートマトン理論と数理言語の研究)
- 不確定セルオートマタに対する並列写像の全射性について (情報科学の数学的理論)
- 実行可能仕様に基づく変換プログラミング (<特集>ソフトウェア工学の現状と動向)
- 項書き換え型計算モデルとその応用 (非手続き型プログラミングのための計算モデル)
- プログラミング方法論の展望
- 再帰サブルティンにおけるパラメタの数について (計算機科学の数学的基礎)
- プロセス代数モデルに基づく並行オブジェクト指向言語の意味定義
- プログラム図式を用いたプログラム開発教育環境
- プログラム図式におけるTimeとSpaceのTrade-off (計算の複雑性に関する研究)
- Simple Loop ProgramによるTime Complexityの階層 (計算機科学の数学的基礎)
- 形式仕様記述言語LOTOSの試用経験
- プログラム合成/変換特集の編集にあたって (プログラム合成/変換)
- 特集「非手続き型プログラミングのための計算モデル」の編集にあたって
- シリコンバレー流基礎研究所の作り方 : Stanford大学のCSLI
- An Extended Iteration Statement and Its Computability (Studies on Computational Complexities and Related Topics)
- 計算機模型と計算の複雑性--複雑さの下界について