Pointer Analysis (Foundations and Trends (R) in Programming Languages): 4 (Foundations and Trends in Programming Languages)

Balatsouras, George

ISBN 10: 1680830201 / ISBN 13: 9781680830200

Published by now publishers Inc, 2015

About this Item

Most items will be dispatched the same or the next working day. An apparently unread copy in perfect condition. Dust cover is intact with no nicks or tears. Spine has no signs of creasing. Pages are clean and not marred by notes or folds of any kind.

Seller Inventory # wbs8103855108

Bibliographic Details

• Title: Pointer Analysis (Foundations and Trends (R) in Programming Languages): 4 (Foundations and Trends in Programming Languages)
• Publisher: now publishers Inc
• Publication Date: 2015
• Language: English
• ISBN 10: 1680830201
• ISBN 13: 9781680830200
• Binding: Soft cover
• Condition: Like New
• Weight: 130 grams

About this title

Synopsis

Pointer analysis is a fundamental static program analysis with a rich literature and wide applications. The goal of pointer analysis is to compute an approximation of the set of program objects that a pointer variable or expression can refer to. This monograph introduces and surveys the most common modern approaches to pointer analysis, with an emphasis on distilling the essence of common analysis algorithms. With an eye towards ease of exposition and concreteness, the presentation aspires to be rather more tutorial and hands-on than other surveys of the pointer analysis area. To this end, the focus is on a declarative presentation of a common core of pointer analyses: algorithms are modeled as configurable, yet easy-to-follow, logical specifications. The specifications serve as a starting point for a broader discussion of the literature, as independent threads spun from the declarative model.