50
Used, New, and Out of Print Books - We Buy and Sell - Powell's Books
Cart |
|  my account  |  wish list  |  help   |  800-878-7323
Hello, | Login
MENU
  • Browse
    • New Arrivals
    • Bestsellers
    • Featured Preorders
    • Award Winners
    • Audio Books
    • See All Subjects
  • Used
  • Staff Picks
    • Staff Picks
    • Picks of the Month
    • 50 Books for 50 Years
    • 25 PNW Books to Read Before You Die
    • 25 Books From the 21st Century
    • 25 Memoirs to Read Before You Die
    • 25 Global Books to Read Before You Die
    • 25 Women to Read Before You Die
    • 25 Books to Read Before You Die
  • Gifts
    • Gift Cards & eGift Cards
    • Powell's Souvenirs
    • Journals and Notebooks
    • socks
    • Games
  • Sell Books
  • Blog
  • Events
  • Find A Store

Don't Miss

  • Spring Sale: 25 Select Fiction and Nonfiction Books
  • Powell's Staff Top Fives
  • Powell's Author Events
  • Oregon Battle of the Books
  • Audio Books

Visit Our Stores


Renee Macalino Rutledge: Powell's Q&A: Renee Macalino Rutledge, author of 'One Hundred Percent Me' (0 comment)
Could you describe your latest book, One Hundred Percent Me?
A little girl is used to hearing questions about her looks all the time. "Where are you from?" "What are you?" These questions are a constant reminder from others that she is different. As she embraces her identity and culture, she teaches others that she belongs, that the differences they notice are part of what make her unique, special, and herself....
Read More»
  • Kelsey Ford: Celebrate Short Story Month: 7 Recommendations Based on 7 Collections We Love (0 comment)
  • Keith Mosman: Powell's Picks Spotlight: Jacqueline Woodson and Leo Espinosa's 'The World Belonged to Us' (0 comment)

{1}
##LOC[OK]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]## ##LOC[Cancel]##

Introduction to Static Analysis: An Abstract Interpretation Perspective

by Xavier Rival and Kwangkeun Yi
Introduction to Static Analysis: An Abstract Interpretation Perspective

  • Comment on this title
  • Synopses & Reviews

ISBN13: 9780262043410
ISBN10: 0262043416



All Product Details

View Larger ImageView Larger Images
Ships free on qualified orders.
Add to Cart
0.00
Hardcover
Ships in 1 to 3 days
Add to Wishlist

Synopses & Reviews

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.


What Our Readers Are Saying

Be the first to share your thoughts on this title!




Product Details

ISBN:
9780262043410
Binding:
Hardcover
Publication date:
02/11/2020
Publisher:
MIT Press
Language:
English
Pages:
320
Height:
.80IN
Width:
7.00IN
LCCN:
2019010151
Author:
Kwangkeun Yi
Author:
Xavier Rival

Ships free on qualified orders.
Add to Cart
0.00
Hardcover
Ships in 1 to 3 days
Add to Wishlist
Used Book Alert for book Receive an email when this ISBN is available used.
{1}
##LOC[OK]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]## ##LOC[Cancel]##
  • Twitter
  • Facebook
  • Pinterest
  • Instagram

  • Help
  • Guarantee
  • My Account
  • Careers
  • About Us
  • Security
  • Wish List
  • Partners
  • Contact Us
  • Shipping
  • Sitemap
  • © 2022 POWELLS.COM Terms

{1}
##LOC[OK]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]## ##LOC[Cancel]##