Articles liés à Advanced Topics In Types And Programming Languages
L'édition de cet ISBN n'est malheureusement plus disponible.
Afficher les exemplaires de cette édition ISBN
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurPrentice Hall India
- Date d'édition2005
- ISBN 10 8120327926
- ISBN 13 9788120327924
- ReliurePaperback
- Numéro d'édition1
- Nombre de pages588
- Evaluation vendeur
(Aucun exemplaire disponible)
Chercher: Créez une demandeSi vous ne trouvez pas un livre sur AbeBooks, nous le rechercherons automatiquement pour vous parmi les livres quotidiennement ajoutés au catalogue.
Créez une demande