中文名: 程序設計語言的形式語義
原名: The Formal Semantics of Programming Languages An Introduction
作者: Winskel
圖書分類: 軟件
資源格式: PDF
版本: 英文掃描版
出版社: MIT Press
書號: 0262231697
發行時間: 1993年
地區: 美國
語言: 英文
簡介:

內容簡介：
本書是形式語義方面的一本經典之作，被國內外很多大學選作教材。書中包括集合論基礎、指稱語義、操作語義、公理語義、歸納原理、歸納定義、完備性、域論、遞歸方程、遞歸技術、高階類型語言、信息系統、遞歸類型、不確定性和並行性、不完備性和不可判定性等內容。
　　 本書始終強調指稱語義和操作語義的聯系，並給出它們的一致性證明。書中包含了豐富的練習。 本書以作者在劍橋大學和aarhus大學的講義為基礎編寫而成，可以作為計算機專業和數學專業的本科生和研究生形式語義課程的教材，也適用於軟件開發人員參考。
　　 本書是以作者在劍橋大學和aarhus大學的講義為基礎編寫的，是一本難得的形式語義學方面的經典著作。書中為初學程序設計語言的語義與邏輯的讀者提供了必需的數學知識，介紹了支撐程序設計語言形式語義的數學理論、方法和概念，這些知識可以用於創造、形式化和證明規則，從而可以描述和推導各類程序設計語言的各種成分和性質。
　　本書內容十分豐富，涉及了集合論、指稱語義、操作語義、公理語義、歸納原理、完備性、域論、信息系統、不確定性和並行性、不完備性和不可判定性等內容。同時，每章都包含了豐富的難度不等的練習。
　　本書適合作為高等院校計算機專業高年級本科生和研究生形式語義課程的教材，也可作為軟件開發人員的參考書
內容截圖：

目錄:
第1章 集合論基礎
1．1 邏輯記號
1．2 集合
1．2．1 集合與性質
1．2．2 一些重要集合
1．2．3 集合的構造
1．2．4 基本公理
1．3 關系與函數
1．3．1 入記號
1．3．2 復合關系與復合函數
1．3．3 關系的正象與逆象
1．3．4 等價關系
1．4 進一步閱讀資料
第2章 操作語義
2．1 imp--一種簡單的命令式語言
2．2 算術表達式的求值
2．3 布爾表達式的求值
2．4 命令的執行
2．5 一個簡單的證明
2．6 另一種語義