資料詳細

  • 1 件中、 1 件目

【図書】 プログラミング言語Ｔｕｒｉｎｇ

言語仕様の基礎理論と設計技法 --
Ｒ．Ｃ．ホルト ／〔ほか〕著, 湯浅太一 ／監訳, 　   -- 啓学出版 -- １９９０．８ -- ２２ｃｍ -- ３２１ｐ

資料詳細

タイトル プログラミング言語Ｔｕｒｉｎｇ
副書名 言語仕様の基礎理論と設計技法
著者名等 Ｒ．Ｃ．ホルト ／〔ほか〕著, 湯浅太一 ／監訳, 　  
出版 啓学出版 １９９０．８
大きさ等 ２２ｃｍ ３２１ｐ
分類 007.64
件名 プログラミング用言語
注記 Ｔｈｅ　ｔｕｒｉｎｇ　ｐｒｏｇｒａｍｍｉｎｇ　ｌａｎｇｕａｇｅ．／の翻訳
注記 訳：松田元彦ほか
内容 参考文献：ｐ３０９～３１３
要旨 本書は、Ｔｕｒｉｎｇとよばれるプログラミング言語を紹介するとともに、プログラミング言語をいかに定義すべきかということを、Ｔｕｒｉｎｇ言語をモデル・ケースとして解説するものである。プログラミング言語設計、仕様記述法、形式的プログラム開発などに興味を持つ学生、研究者のためにも役立つ書である。
目次 Ｔｕｒｉｎｇ言語の設計目標；Ｔｕｒｉｎｇ言語の特色；Ｔｕｒｉｎｇレポート；Ｔｕｒｉｎｇの形式的定義の概要；字句構造；Ｔｕｒｉｎｇの文脈自由文法；文脈条件―Ｔｕｒｉｎｇプログラムの静的正当性；形式的意味―Ｔｕｒｉｎｇのプログラムの意味；付録（Ｔｕｒｉｎｇ言語の精神；字句の列に関する一定理；拡張文脈自由文法の標準的な記法への変換；Ｔｕｒｉｎｇの抽象的文脈自由文法；基本文の形式的な操作的意味；入手可能なＴｕｒｉｎｇの処理系）
ISBN(13)、ISBN 　　 4-7665-1075-5
書誌番号 1190349544

ページの先頭へ

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 007.6/3318 一般書 利用可 - 0003442519 iLisvirtual

ページの先頭へ