Product Details
ISBN/Catalogue Number
：
ISBN 13 : 9784621307632
ISBN 10 : 4621307630
ISBN 10 : 4621307630
Format
：
Books
Release Date
：
January/2023
Content Description
本書は、Ｗｉｎｓｋｅｌによるプログラミング言語意味論の世界的標準教科書の邦訳である。前提知識をできるだけ少なくしつつ、プログラムの意味を数学的に定義・議論するための手法が解説されている。本書により、プログラミング言語理論関係の専門的な文献を読むための基礎を学ぶことができる。本書で身につけた基礎知識は、プログラミング言語研究の成果を理解し応用するために役立つはずである。
目次 : 集合論の基礎/ 入門：操作的意味論/ 帰納法の原理/ 帰納的な定義/ ＩＭＰの表示的意味論/ ＩＭＰの公理的意味論/ ホーア規則の完全性/ 領域理論入門/ 再帰方程式/ 再帰の技法/ 高階型を持つ言語/ 情報システム/ 付録Ａ 不完全性と決定不能性
【著者紹介】
末永幸平 : 京都大学大学院情報学研究科准教授
勝股審也 : 国立情報学研究所特任准教授
中澤巧爾 : 名古屋大学大学院情報学研究科准教授
西村進 : 京都大学大学院理学研究科准教授
前田敦司 : 筑波大学システム情報系准教授（本データはこの書籍が刊行された当時に掲載されていたものです）
（「BOOK」データベースより）
Customer Reviews
Book Meter Reviews
Recommend Items
Feedback
Missing or incorrect information?
Product information of this page .