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.

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

This book is being offered by Goodwill, a non-profit organization. All funds raised are used to support the Goodwill which provides quality, effective employment training and basic education to individuals experiencing significant barriers to economic opportunity. Because Jobs Change Lives. Proceeds from the sale of these goods and financial donations from the community make it possible for us to operate our free job training programs. Your donations and purchases help support these important programs and make the community a better place for all of us.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

Seattle Goodwill Industries
700 Dearborn PL S, Seattle, WA, 98144, U.S.A.

Condizioni di vendita e spedizione

Condizioni di vendita

Returns are accepted according to the Abebooks Returns Policy. We respond to all inquiries within 2 business days.

Diritto di recesso

Condizioni di spedizione

We ship everything within 48 hours, and all our orders are shipped via UPS Mail Innovations. Please let us know if you have any questions or concerns. Customer satisfaction is our top priority.

Tariffe di spedizione da U.S.A. a Italia

Tariffe di spedizione da U.S.A. a Italia
Quantit� dell?ordine	Da 21 a 36 giorni lavorativi	Da 5 a 8 giorni lavorativi
Primo articolo	EUR 66.60	EUR 85.38

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.