Synopsis
A self-contained introduction to abstract interpretation–based static analysis, an essential resource for students, developers, and users.
Static program analysis, or static analysis, aims to discover semantic properties of programs without running them. It plays an important role in all phases of development, including verification of specifications and programs, the synthesis of optimized code, and the refactoring and maintenance of software applications. This book offers a self-contained introduction to static analysis, covering the basics of both theoretical foundations and practical considerations in the use of static analysis tools. By offering a quick and comprehensive introduction for nonspecialists, the book fills a notable gap in the literature, which until now has consisted largely of scientific articles on advanced topics.
The text covers the mathematical foundations of static analysis, including semantics, semantic abstraction, and computation of program invariants; more advanced notions and techniques, including techniques for enhancing the cost-accuracy balance of analysis and abstractions for advanced programming features and answering a wide range of semantic questions; and techniques for implementing and using static analysis tools. It begins with background information and an intuitive and informal introduction to the main static analysis principles and techniques. It then formalizes the scientific foundations of program analysis techniques, considers practical aspects of implementation, and presents more advanced applications. The book can be used as a textbook in advanced undergraduate and graduate courses in static analysis and program verification, and as a reference for users, developers, and experts.
"synopsis" may belong to another edition of this title.
About the Author
Xavier Rival is Research Director at INRIA Paris and head of the research group on static analysis at Ecole Normale Supérieure/CNRS/INRIA/PSL
Kwangkeun Yi is Professor in the Department of Computer Science & Engineering at Seoul National University and head of its Programming Research Laboratory.
"About this title" may belong to another edition of this title.
Search results for Introduction to Static Analysis: An Abstract Interpretation...
Stock Image
Introduction to Static Analysis: An Abstract Interpretation Perspective (Mit Press)
Seller: Book Alley, Pasadena, CA, U.S.A.
Seller rating 4 out of 5 stars
hardcover. Condition: Very Good. A very good hardcover. No dust jacket. as issued. Some light rippling to some pages. Very light edgewear to baords. No markings. Seller Inventory # mon0000759790
Seller Image
Introduction to Static Analysis : An Abstract Interpretation Perspective
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 38585991-n
Stock Image
IntroductiontoStaticAnalysis Format: ClothOverBoards
Seller: INDOO, Avenel, NJ, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 9780262043410
Stock Image
Introduction to Static Analysis (Hardcover)
Published by
MIT Press Ltd, Cambridge, Mass., 2020
ISBN 10: 0262043416
ISBN 13: 9780262043410
New
Hardcover
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. A self-contained introduction to abstract interpretation-based static analysis, an essential resource for students, developers, and users.Static program analysis, or static analysis, aims to discover semantic properties of programs without running them. It plays an important role in all phases of development, including verification of specifications and programs, the synthesis of optimized code, and the refactoring and maintenance of software applications. This book offers a self-contained introduction to static analysis, covering the basics of both theoretical foundations and practical considerations in the use of static analysis tools. By offering a quick and comprehensive introduction for nonspecialists, the book fills a notable gap in the literature, which until now has consisted largely of scientific articles on advanced topics.The text covers the mathematical foundations of static analysis, including semantics, semantic abstraction, and computation of program invariants; more advanced notions and techniques, including techniques for enhancing the cost-accuracy balance of analysis and abstractions for advanced programming features and answering a wide range of semantic questions; and techniques for implementing and using static analysis tools. It begins with background information and an intuitive and informal introduction to the main static analysis principles and techniques. It then formalizes the scientific foundations of program analysis techniques, considers practical aspects of implementation, and presents more advanced applications. The book can be used as a textbook in advanced undergraduate and graduate courses in static analysis and program verification, and as a reference for users, developers, and experts.A self-contained introduction to abstract interpretation-based static analysis, an essential resource for students, developers, and users.Static program analysis, or static analysis, aims to discover semantic properties of programs without running them. It plays an important role in all phases of development, including verification of specifications and programs, the synthesis of optimized code, and the refactoring and maintenance of software applications. This book offers a self-contained introduction to static analysis, covering the basics of both theoretical foundations and practical considerations in the use of static analysis tools. By offering a quick and comprehensive introduction for nonspecialists, the book fills a notable gap in the literature, which until now has consisted largely of scientific articles on advanced topics.The text covers the mathematical foundations of static analysis, including semantics, semantic abstraction, and computation of program invariants; more advanced notions and techniques, including techniques for enhancing the cost-accuracy balance of analysis and abstractions for advanced programming features and answering a wide range of semantic questions; and techniques for implementing and using static analysis tools. It begins with background information and an intuitive and informal introduction to the main static analysis principles and techniques. It then formalizes the scientific foundations of program analysis techniques, considers practical aspects of implementation, and presents more advanced applications. The book can be used as a textbook in advanced undergraduate and graduate courses in static analysis and program verification, and as a reference for users, developers, and experts. A self-contained introduction to abstract interpretationbased static analysis, an essential resource for students, developers, and users. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9780262043410
Seller Image
Introduction to Static Analysis : An Abstract Interpretation Perspective
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 38585991
Stock Image
IntroductiontoStaticAnalysis Format: ClothOverBoards
Seller: INDOO, Avenel, NJ, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread copy in mint condition. Seller Inventory # RH9780262043410
Stock Image
Introduction to Static Analysis: An Abstract Interpretation Perspective (The MIT Press)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 26376545873
Stock Image
Introduction to Static Analysis: An Abstract Interpretation Perspective (The MIT Press)
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 369499534
Buy New
US$ 78.92
US$ 8.78 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Introduction to Static Analysis: An Abstract Interpretation Perspective (The MIT Press)
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 18376545883
Buy New
US$ 85.32
US$ 11.74 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Introduction to Static Analysis
Seller: Rarewaves USA, OSWEGO, IL, U.S.A.
Seller rating 5 out of 5 stars
Hardback. Condition: New. Seller Inventory # LU-9780262043410