プログラミング言語理論への招待 : 正しいソフトウェアを書くために
著者
書誌事項
プログラミング言語理論への招待 : 正しいソフトウェアを書くために
(ASCII software science, Language ; 7)
アスキー, 1995.9
- タイトル別名
-
Introduction to the theory of programming languages
- タイトル読み
-
プログラミング ゲンゴ リロン エノ ショウタイ : タダシイ ソフトウェア オ カク タメ ニ
大学図書館所蔵 件 / 全91件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
監訳: 二木厚吉
参考文献: p[421]-430
内容説明・目次
目次
- 1章 基本的概念
- 2章 数学的予備知識
- 3章 構文
- 4章 意味論—主な手法の紹介
- 5章 ラムダ計算式
- 6章 表示意味論—基礎
- 7章 表示意味論—言語機能
- 8章 再帰の数学
- 9章 公理意味論
- 10章 意味的定義の一貫性
「BOOKデータベース」 より