Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

6

POPL
1996
ACM

favoriteEmaildiscussreport

98views Programming Languages» more POPL 1996»

Solving Shape-Analysis Problems in Languages with Destructive Updating

13 years 8 months ago

Solving Shape-Analysis Problems in Languages with Destructive Updating

Download www-plan.cs.colorado.edu

Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm

Real-time Traffic

POPL 1996 | Programming Languages |

claim paper

Related Content

» Regionbased shape analysis with tracked locations

» On Copy Avoidance in Single Assignment Languages

» Towards ModelChecking Programs with Lists

» Recycle Your Arrays

» Comprehending Monads

» NixOS a purely functional Linux distribution

» Solving ORM by MAGIC MApping GeneratIon and Composition

» New Data Structures for Subgraph Connectivity

» Extension of CQL over Dynamic Databases

Post Info
More Details (n/a)

Added	08 Aug 2010
Updated	08 Aug 2010
Type	Conference
Year	1996
Where	POPL
Authors	Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm

Comments (0)