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. Codice articolo 3O6XBG0008U4_ns

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo: Introduction to Static Analysis: An Abstract...

Casa editrice: The MIT Press

Data di pubblicazione: 2020

Legatura: Rilegato

Condizione: Acceptable

Descrizione articolo

Riassunto:

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.

Informazioni sull?autore:

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.

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

Descrizione libreria

About us Our Mission: Goodwill changes lives every day by empowering people to increase their independence and reach their potential through education, health and employment. Our services include: Tuition-free, charter high school for grades 9-12 for students experiencing barriers to education. Tuition-free, charter high schools for adults that focuses on removing barriers to education by offering students flexible scheduling, tutoring, life coaching, child care, transportation, college credits and other resources. Direct hiring for Goodwill jobs, especially for job-seekers with employment barriers like a disability, criminal history or limited education. Job readiness, training and placement for individuals with barriers. Pre-natal and maternal health, parenting skills, child development and school readiness. Connections to resources for transportation, housing, child care, financial literacy and more. A child development center and preschool for children ages six weeks to five years.

Visita la pagina della libreria