プログラミング言語Turing : 言語仕様の基礎理論と設計技法
著者
書誌事項
プログラミング言語Turing : 言語仕様の基礎理論と設計技法
啓学出版, 1990.8
- タイトル別名
-
The Turing programming language
- タイトル読み
-
プログラミング ゲンゴ Turing : ゲンゴ シヨウ ノ キソ リロン ト セッケイ ギホウ
大学図書館所蔵 件 / 全48件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
監訳:湯浅太一
他の訳者:三好博之,竹岡尚三
参考文献:p309〜313
内容説明・目次
内容説明
本書は、Ｔｕｒｉｎｇとよばれるプログラミング言語を紹介するとともに、プログラミング言語をいかに定義すべきかということを、Ｔｕｒｉｎｇ言語をモデル・ケースとして解説するものである。プログラミング言語設計、仕様記述法、形式的プログラム開発などに興味を持つ学生、研究者のためにも役立つ書である。
目次
- Ｔｕｒｉｎｇ言語の設計目標
- Ｔｕｒｉｎｇ言語の特色
- Ｔｕｒｉｎｇレポート
- Ｔｕｒｉｎｇの形式的定義の概要
- 字句構造
- Ｔｕｒｉｎｇの文脈自由文法
- 文脈条件—Ｔｕｒｉｎｇプログラムの静的正当性
- 形式的意味—Ｔｕｒｉｎｇのプログラムの意味
- 付録（Ｔｕｒｉｎｇ言語の精神；字句の列に関する一定理；拡張文脈自由文法の標準的な記法への変換；Ｔｕｒｉｎｇの抽象的文脈自由文法；基本文の形式的な操作的意味；入手可能なＴｕｒｉｎｇの処理系）
「BOOKデータベース」 より
