Pointer Analysis Image close
Pointer Analysis by Yannis Smaragdakis
Pointer Analysis by Yannis Smaragdakis
Show Hide Adult Content
Pointer Analysis close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer programming / software development  
Software Engineering

Pointer Analysis

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$158.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $39.50 with Afterpay Learn more

6 weekly interest-free payments of $26.33 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 11-21 June using International Courier

Explore more Foundations and Trends® in Programming Languages

See all products in this series

Refinement Types by Ranjit Jhala
$238.00
Refinement Types
by Ranjit Jhala ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Principles of Eventual Consistency by Sebastian Burckhardt
$234.00
Principles of Eventual Consistency
by Sebastian Burckhardt ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Static Analysis and Verification of Aerospace Software by Abstract Interpretation by Julien Bertrane
$215.00
Static Analysis and Verification of Aerospace Software by Abstract...
by Julien Bertrane ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Neurosymbolic Programming by Swarat Chaudhuri
$172.00
Neurosymbolic Programming
by Swarat Chaudhuri ~ Paperback / softback
Available - Usually ships in 3-4 weeks
A Framework For Efficient Modular Heap Analysis by Ravichandhran Madhavan
$204.00
A Framework For Efficient Modular Heap Analysis
by Ravichandhran Madhavan ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Shape Analysis by Bor-Yuh Evan Chang
$238.00
Shape Analysis
by Bor-Yuh Evan Chang ~ Paperback / softback
Available - Usually ships in 3-4 weeks
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back by Marco Vassena
$218.00
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back
by Marco Vassena ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Progress of Concurrent Objects by Hongjin Liang
$229.00
Progress of Concurrent Objects
by Hongjin Liang ~ Paperback / softback
Available - Usually ships in 3-4 weeks
QED at Large by Talia Ringer
$238.00
QED at Large
by Talia Ringer ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Introduction to Neural Network Verification by Aws Albarghouthi
$238.00
Introduction to Neural Network Verification
by Aws Albarghouthi ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Reconciling Abstraction with High Performance by Oleg Kiselyov
$195.00
Reconciling Abstraction with High Performance
by Oleg Kiselyov ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Nominal Game Semantics by Andrzej S. Murawski
$215.00
Nominal Game Semantics
by Andrzej S. Murawski ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Probabilistic Trace and Testing Semantics by Marco Bernardo
$183.00
Probabilistic Trace and Testing Semantics
by Marco Bernardo ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Models and Techniques for Analyzing Security Protocols by Veronique Cortier
$215.00
Formal Models and Techniques for Analyzing Security Protocols
by Veronique Cortier ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Computer-Assisted Query Formulation by Alvin Cheung
$181.00
Computer-Assisted Query Formulation
by Alvin Cheung ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Behavioral Types in Programming Languages by Davide Ancona
$236.00
Behavioral Types in Programming Languages
by Davide Ancona ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date NZ
April 21st, 2015
Pages
86
Audience
  • Undergraduate
Dimensions
156x234x5
ISBN-13
9781680830200
Product ID
23159063

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer programming / software development >
Programming & scripting languages: general