Principles of Program Analysis
Edition: 1st ed. 1999. Corr. 2nd printing edition
Publisher: Springer
Published: December 7, 2004
Language: eng
Format: Hardcover
Number of pages: 473
ISBN-13: 9783540654100
Subjects: Computers - Languages / Programming; Software Engineering; Computer programs; Compilers (Computer Science); Computers; Textbooks; Programming - Software Development; Computer Books: General; Programming - General; General; Abstract Interpretation; Computers / Logic Design; Computers / Programming / General; Constraint Based Analysis; Data Flow Analysis; Program Analysis; Program Transformation; Compilers; Computer Programming
First sentence: In this book we shall introduce four of the main approaches to program analysis: Data Flow Analysis, Constraint Based Analysis, Abstract Interpretation, and Type and Effect Systems.