プログラミング言語理論への招待 : 正しいソフトウェアを書くために
Author(s)
Bibliographic Information
プログラミング言語理論への招待 : 正しいソフトウェアを書くために
(ASCII software science, Language ; 7)
アスキー, 1995.9
- Other Title
-
Introduction to the theory of programming languages
- Title Transcription
-
プログラミング ゲンゴ リロン エノ ショウタイ : タダシイ ソフトウェア オ カク タメ ニ
Available at / 91 libraries
-
University of Tsukuba Library, Library on Library and Information Science
007.64:Me-95960029300
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
監訳: 二木厚吉
参考文献: p[421]-430
Description and Table of Contents
Table of Contents
- 1章 基本的概念
- 2章 数学的予備知識
- 3章 構文
- 4章 意味論—主な手法の紹介
- 5章 ラムダ計算式
- 6章 表示意味論—基礎
- 7章 表示意味論—言語機能
- 8章 再帰の数学
- 9章 公理意味論
- 10章 意味的定義の一貫性
by "BOOK database"