ADVANCED TOPICS IN TYPES AND PROGRAMMING LANGUAGES (English) 1st Edition (Paperback)
Price: Rs. 404
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 at concurrent and distributed systems. The aim of this book is to offer a comprehensive and accessible introduction to the area's central ideas, results and techniques. The topics covered include precise type analysis, considering ways of extending simple type systems to give them a better grip on the run time behaviour of systems; type systems for law-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. This book builds on author's Types and Progamming Langauges; most of the chapters should be accessible to readers familiar with basic notations and techniques of operational semantics and type system-the material covered in the first half of the earlier book. Inter-chapter dependencies have been kept to a minimum to facilitate reading in any order. The intended audience includes post graduate students and researchers who want get up to speed in the area as a whole, as well as current researchers in program-ming languages who need comprehensible introductions to particular topics
Table of Contents
I: PRECISE TYPE ANALYSES-
1. Substructural Type Systems.
2. Dependent Types.
3. Effect Types and Region-Based Memory Management
II: TYPES FOR LOW-LEVEL LANGUAGES-
4. Typed Assembly Language.
5. Proof-Carrying Code
III: TYPES AND REASONING ABOUT PROGRAMS-
6. Logical Relations and a Case Study in Equivalence Checking.
7. Typed Operational Reasoning.
IV: TYPES FOR PROGRAMMING IN THE LARGE-
8. Design Considerations for ML-Style Module Systems.
9. Type Definitions.
V: TYPE INFERENCE-
10.The Essence of ML Type Inference.
A. Solutions to Selected Exercises.