Cart (0)
Digital Cart (0)

Add Another Item

Add Another Item

Add Another Item

Add Another Item

Compare
You can't compare with the above items. (Clear all items in the Compare list)

ADVANCED TOPICS IN TYPES AND PROGRAMMING LANGUAGES (English) 1st Edition

(Paperback)
Paperback
Author: Pierce B C
Language: English
Length: 588 pages
Publisher: Phi Learning Pvt. Ltd
This product is Permanently discontinued.

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
Preface.
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.
References.
Index.
Was this product information helpful?
Yes
No
Thanks for your vote!
Please write your feedback before submitting.

Specifications of ADVANCED TOPICS IN TYPES AND PROGRAMMING LANGUAGES (English) 1st Edition (Paperback)

Book Details
Publisher Phi Learning Pvt. Ltd
ISBN-10 8120327926
Edition 1st Edition
Number of Pages 588 Pages
Publication Year 2008
Language English
ISBN-13 9788120327924
Binding Paperback
Contributors
Author Pierce B C
Was the product specification helpful?
Yes
No
Thanks for your vote!
Please write your feedback before submitting.

Please Note: All products sold on Flipkart are brand new and 100% genuine

Reviews of ADVANCED TOPICS IN TYPES AND PROGRAMMING LANGUAGES (English) 1st Edition (Paperback)

Have you used this product?

Rate it now.

No reviews available.
 

PAYMENT METHOD

POWERED BY
Loading ...