Principles of program analysis - Flemming Nielson , Hanne R. Nielson - Librairie Eyrolles
Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Principles of program analysis
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Principles of program analysis

Principles of program analysis

Flemming Nielson, Hanne R. Nielson

450 pages, parution le 10/11/1999

Résumé

Program analysis concerns static techniques for computing reliable approximate information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between data representation (for solving problems such as the Y2K problem).
This book is unique in giving an overview of the four major approaches to program analysis : data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems. The presentation demonstrates the extensive similarities between the approaches; this will aid the reader in choosing the right approach and in enhancing it with insights from the other approaches. The book covers basic semantic properties as well as more advanced algorithmic techniques. The book is aimed at M.Sc. and Ph.D. students but will be valuable also for experienced researchers and professionals.

Contents: Preface - Introduction - Data Flow Analysis - Constraint Based Analysis - Abstract Interpretation - Type and Effect Systems - Algorithms.- Partially Ordered Sets - Induction and Coinduction - Graphs and Regular Expressions - Index of Notation -Index - Bibliography.

Caractéristiques techniques

  PAPIER
Éditeur(s) Springer
Auteur(s) Flemming Nielson, Hanne R. Nielson
Parution 10/11/1999
Nb. de pages 450
Format 16 x 24
Couverture Relié
Poids 700g
EAN13 9783540654100

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription