Articles liés à Advanced Topics In Types And Programming Languages
L'édition de cet ISBN n'est malheureusement plus disponible.
Synopsis
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.
(Aucun exemplaire disponible)
Chercher: Créez une demandeVous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !
Créez une demande
