Advanced Topics in Types and Programming Languages (Hardcover)
暫譯: 進階類型與程式語言主題 (精裝版)

Benjamin C. Pierce

Advanced Topics in Types and Programming Languages (Hardcover)

買這商品的人也買了...

相關主題

商品描述

Description:

The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key ideas in the field, with contributions by experts on each topic.

The topics covered include precise type analyses, which extend simple type systems to give them a better grip on the run time behavior of systems; type systems for low-level languages; applications of types to reasoning about computer programs; type theory as a framework for the design of sophisticated module systems; and advanced techniques in ML-style type inference.

Advanced Topics in Types and Programming Languages builds on Benjamin Pierce's Types and Programming Languages (MIT Press, 2002); most of the chapters should be accessible to readers familiar with basic notations and techniques of operational semantics and type systems -- the material covered in the first half of the earlier book.

Advanced Topics in Types and Programming Languages can be used in the classroom and as a resource for professionals. Most chapters include exercises, ranging in difficulty from quick comprehension checks to challenging extensions, many with solutions.

Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania.

 

 

Table of Contents:

 

Preface ix
 
I Precise Type Analyses 1
 
1 Substructural Type Systems
David Walker		 3
 
2 Dependent Types
David Aspinall and Martin Hofmann		 45
 
II Types for Low-Level Languages 137
 
4 Typed Assembly Language
Greg Morrisett		 141
 
5 Proof-Carrying Code
George Necula		 177
 
III Types and Reasoning about Programs 221
 
6 Logical Relations and a Case Study in Equivalence Checking
Karl Crary		 223
 
7 Typed Operational Reasoning
Andrew Pitts                                                                                              		245
 
IV Types for Programming in the Large 291
 
8 Design Considerations for ML-Style Module Systems
Robert Harper and Benjamin C. Pierce		 293
 
9 Type Definitions
Christopher Stone		 347
 
V Type Inference 387
 
10 The Essence of ML Type Inference
François Pottier and Didier Rémy		 389
 
A Solutions to Selected Exercises 491
 
  References 535
 
  Index 567

商品描述(中文翻譯)

**描述：**
對於程式語言的型別系統的研究現在觸及了計算機科學的許多領域，從語言設計和實現到軟體工程、網路安全、資料庫以及並行和分散系統的分析。本書提供了該領域關鍵概念的易懂介紹，並由各主題的專家貢獻內容。

涵蓋的主題包括精確的型別分析，這些分析擴展了簡單的型別系統，使其能更好地掌握系統的運行時行為；低階語言的型別系統；型別在推理計算機程式中的應用；型別理論作為設計複雜模組系統的框架；以及 ML 風格型別推斷的進階技術。

《型別與程式語言的進階主題》建立在 Benjamin Pierce 的《型別與程式語言》（MIT Press, 2002）之上；大多數章節應該對熟悉操作語義和型別系統基本符號和技術的讀者可及——這些內容涵蓋了早期書籍的前半部分。

《型別與程式語言的進階主題》可用於課堂教學，也可作為專業人士的資源。大多數章節包括練習，難度從快速理解檢查到具有挑戰性的擴展，許多練習附有解答。

Benjamin C. Pierce 是賓夕法尼亞大學計算機與資訊科學的教授。

**目錄：**

前言 ix

I 精確型別分析 1
1 子結構型別系統
David Walker 3
2 依賴型別
David Aspinall 和 Martin Hofmann 45

II 低階語言的型別 137
4 型別組合語言
Greg Morrisett 141
5 證明攜帶的程式碼
George Necula 177

III 型別與程式推理 221
6 邏輯關係與等價檢查的案例研究
Karl Crary 223
7 型別操作推理
Andrew Pitts 245

IV 大型程式設計的型別 291
8 ML 風格模組系統的設計考量
Robert Harper 和 Benjamin C. Pierce 293
9 型別定義
Christopher Stone 347

V 型別推斷 387
10 ML 型別推斷的本質
François Pottier 和 Didier Rémy 389
A 選定練習的解答 491
參考文獻 535
索引 567

類似商品