実行可能仕様に基づく変換プログラミング (<特集>ソフトウェア工学の現状と動向)
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1987-07-15
著者
-
二木 厚吉
Electrotechnical Labotory Computer Science Division Computer Language Section
-
二木 厚吉
電子技術総合研究所 ソフトウェア部言語処理研究室
-
二木 厚吉
電子技術総合研究所
関連論文
- ISOにおける形式記述技法の標準化動向 (通信システムの形式記述技法の標準化)
- 実行可能仕様に基づく変換プログラミング (<特集>ソフトウェア工学の現状と動向)
- 項書き換え型計算モデルとその応用 (非手続き型プログラミングのための計算モデル)
- プログラミング方法論の展望
- 再帰サブルティンにおけるパラメタの数について (計算機科学の数学的基礎)
- A.V.Aho, J.E. Hopcroft, J.D.Ullman 著, "The Design and Analysis of Computer Algorithms", Addison-Wesley 社, Reading, Mass., B5 変形判, 470p, \6,310, 1974
- プロセス代数モデルに基づく並行オブジェクト指向言語の意味定義
- プログラム図式を用いたプログラム開発教育環境
- 形式仕様記述言語LOTOSの試用経験
- プログラム合成/変換特集の編集にあたって (プログラム合成/変換)
- 特集「非手続き型プログラミングのための計算モデル」の編集にあたって
- シリコンバレー流基礎研究所の作り方 : Stanford大学のCSLI
- An Extended Iteration Statement and Its Computability (Studies on Computational Complexities and Related Topics)