L'événement

Séance de signature Samedi 28 Janvier 2012 de 15h00 à 18h00 avec Georges Epinette

Effectivité de l'usage dans le monde numérique

9782363670045

Effectivité de l'usage dans le monde numérique




 


email ou code client :
mot de passe :
* Oublié ?

Première visite ?
Demander un devis
Créer un compte
Frais de port
gratuits
pour les particuliers
à partir de 50 euros
(France métropolitaine uniquement)

Ajouter cet article au panier

Nbre d'exemplaires:

ADVANCED TOPICS IN TYPES AND PROGRAMMING LANGUAGES

Titre :

ADVANCED TOPICS IN TYPES AND PROGRAMMING LANGUAGES

Caractéristiques :


Auteur(s) :PIERCE
Editeur :M.I.T. PRESS
Parution :02/2005
Langue :Anglais Anglais
Nbre de pages :392
ISBN :978-0-262-16228-9
Reliure :Hardcover
Prix public :70.00 € ttc
Notre prix :66.50 € ttc (-5%)
Vous économisez :3.50 €
Disponibilité :Livraison sous 10 jours ouvrés.

Couverture :


ADVANCED TOPICS IN TYPES AND PROGRAMMING LANGUAGES

Résumé :

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 of
concurrent and distributed systems. This book offers accessible
introductions to key ideas in the field, with contributions by experts
on each topic. The topics covered include precise type analyses, which
extend simple type systems to give them a better grip on the run time
behavior of systems; type systems for low-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. Advanced Topics in Types and
Programming Languages builds on Benjamin Pierce's Types and Programming
Languages (MIT Press, 2002); most of the chapters should be accessible
to readers familiar with basic notations and techniques of operational
semantics and type systems - the material covered in the first half of
the earlier book. Advanced Topics in Types and Programming Languages can
be used in the classroom and as a resource for professionals. Most
chapters include exercises, ranging in difficulty from quick
comprehension checks to challenging extensions, many with solutions.

Table des matières :

Ces informations ne sont pas disponibles.

Ajouter cet article au panier

Nbre d'exemplaires: