プログラミング言語理論への招待 : 正しいソフトウェアを書くために
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
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
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"