Sinossi
Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing 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 illustrates the extensive similarities between the approaches, helping readers to choose the best one to utilize.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
1 Introduction.- 2 Data Flow Analysis.- 3 Constraint Based Analysis.- 4 Abstract Interpretation.- 5 Type and Effect Systems.- 6 Algorithms.- A Partially Ordered Sets.- A.1 Basic Definitions.- A.2 Construction of Complete Lattices.- A.3 Chains.- A.4 Fixed Points.- Concluding Remarks.- B Induction and Coinduction.- B.1 Proof by Induction.- B.2 Introducing Coinduction.- B.3 Proof by Coinduction.- Concluding Remarks.- C Graphs and Regular Expressions.- C.1 Graphs and Forests.- C.2 Reverse Postorder.- C.3 Regular Expressions.- Concluding Remarks.- Index of Notation.
Product Description
Book by Nielson Flemming Nielson Hanne R Hankin Chris
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Principles of Program Analysis
Foto dell'editore
Principles of Program Analysis
Da: Seattle Goodwill, Seattle, WA, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: Good. Codice articolo mon0000102360
Compra usato
EUR 29,71
Spese di spedizione:
EUR 3,46
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Principles of Program Analysis
Da: HPB-Red, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Codice articolo S_393593756
Compra usato
EUR 30,60
Spese di spedizione:
EUR 3,26
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Principles of Program Analysis
Editore:
Springer Berlin / Heidelberg, 1999
ISBN 10: 3540654100
ISBN 13: 9783540654100
Antico o usato
Rilegato
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Very Good. 1 Edition. Used book that is in excellent condition. May show signs of wear or have minor defects. Codice articolo 4253149-6
Compra usato
EUR 36,79
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Principles of Program Analysis
Da: Textbooks_Source, Columbia, MO, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: New. Corrected. Ships in a BOX from Central Missouri! UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes). Codice articolo 000505872N
Compra nuovo
EUR 60,61
Spese di spedizione:
EUR 3,46
In U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Principles of Program Analysis
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 574580
Compra usato
EUR 81,25
Spese di spedizione:
EUR 2,29
In U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Principles of Program Analysis
Da: BennettBooksLtd, San Diego, NV, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: New. In shrink wrap. Looks like an interesting title! Codice articolo Q-3540654100
Compra nuovo
EUR 77,76
Spese di spedizione:
EUR 6,03
In U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Principles of Program Analysis
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 574580-n
Compra nuovo
EUR 81,60
Spese di spedizione:
EUR 2,29
In U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Principles of Program Analysis
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020173759
Compra nuovo
EUR 81,66
Spese di spedizione:
EUR 3,46
In U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Principles of Program Analysis
Da: GoldBooks, Denver, CO, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: new. Codice articolo 7E40_34_3540654100
Compra nuovo
EUR 85,47
Spese di spedizione:
EUR 3,69
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Principles of Program Analysis
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In English. Codice articolo ria9783540654100_new
Compra nuovo
EUR 81,19
Spese di spedizione:
EUR 13,66
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili