Cart (0)
Digital Cart (0)
Home  >  ADVANCED TOPICS IN TYPES AND PROGRAMMING LANGUAG...
Buy ADVANCED TOPICS IN TYPES AND PROGRAMMING LANGUAGES (English) 1st  Edition

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

Author: Pierce B C
Paperback
Language: English
Length: 588 Pages
Publisher: Phi Learning Pvt. Ltd
Rs. 425
Rs. 404
Inclusive of taxes
Seller: WS Retail
0 Offers
COMBO OFFER: Exciting combos available View combos
This item is Out of Print [?]
Shipping to: Change

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.

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

Contributors
Author Pierce B C
Book Details
Publisher Phi Learning Pvt. Ltd
Publication Year 2005
ISBN-13 9788120327924
ISBN-10 8120327926
Language English
Edition 1st Edition
Binding Paperback
Number of Pages 588 Pages
Please note: All products sold on Flipkart are brand new and 100% genuine

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

Have you used this product?
Be the first to rate it.
No reviews available.
    Book: ADVANCED TOPICS IN TYPES AND PROGRAMMING LANGUAGES (English) 1st Edition by Pierce B C
    ISBN Number: 8120327926, 9788120327924, 978-8120327924

PAYMENT METHOD

POWERED BY
Loading ...