Items related to Introduction to Static Analysis: An Abstract Interpretation...
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 (The MIT Press)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 26376545873
Quantity: 3 available
Stock Image
Introduction to Static Analysis: An Abstract Interpretation Perspective (Mit Press)
Seller: clickgoodwillbooks, Indianapolis, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Acceptable. This is a hard cover book: Used - Acceptable: All pages and the cover are intact, but shrink wrap, dust covers, or boxed set case may be missing. Pages may include limited notes, highlighting, or minor water damage but the text is readable. Item may be missing bundled media. Seller Inventory # 3O6XBG0008U4_ns
Quantity: 1 available
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
Quantity: 3 available
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
Quantity: Over 20 available
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
Quantity: 3 available
Stock Image
IntroductiontoStaticAnalysis Format: ClothOverBoards
Seller: INDOO, Avenel, NJ, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Brand New. Seller Inventory # 9780262043410
Quantity: Over 20 available
Stock Image
Introduction to Static Analysis ? An Abstract Interpretation Perspective (The MIT Press)
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 369499534
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 5 out of 5 stars
Condition: New. Seller Inventory # 18376545883
Quantity: 3 available
Stock Image
Introduction to Static Analysis
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # GB-9780262043410
Quantity: 2 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
Quantity: Over 20 available