シリコンバレー流基礎研究所の作り方 : Stanford大学のCSLI
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人日本ソフトウェア科学会の論文
- 1985-04-15
著者
関連論文
- 実行可能仕様に基づく変換プログラミング (<特集>ソフトウェア工学の現状と動向)
- 項書き換え型計算モデルとその応用 (非手続き型プログラミングのための計算モデル)
- プログラミング方法論の展望
- 再帰サブルティンにおけるパラメタの数について (計算機科学の数学的基礎)
- プロセス代数モデルに基づく並行オブジェクト指向言語の意味定義
- プログラム図式を用いたプログラム開発教育環境
- 形式仕様記述言語LOTOSの試用経験
- プログラム合成/変換特集の編集にあたって (プログラム合成/変換)
- 特集「非手続き型プログラミングのための計算モデル」の編集にあたって
- シリコンバレー流基礎研究所の作り方 : Stanford大学のCSLI
- An Extended Iteration Statement and Its Computability (Studies on Computational Complexities and Related Topics)