Sciweavers

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

25

CORR
2012
Springer

favoriteEmaildiscussreport

212views Education» more CORR 2012»

Abstracting Runtime Heaps for Program Understanding

12 years 6 months ago

Abstracting Runtime Heaps for Program Understanding

Download www.software.imdea.org

Mark Marron, Cesar Sanchez, Zhendong Su, Manuel F&

Real-time Traffic

CORR 2012 | Education |

claim paper

Related Content

» Generating HeapBounded Programs in a Functional Setting

» Dynamic Data Structure Analysis for Java Programs

» RunTime Support for Optimizations Based on Escape Analysis

» The Runtime Structure of Object Ownership

» Finding programming errors earlier by evaluating runtime monitors aheadoftime

» Reasoning about the Implementation of Concurrency Abstractions on x86TSO

» Checking ownership and confinement

» Extending AOP to Support Broad Runtime Monitoring Needs

» Strategies for dynamic memory allocation in hybrid architectures

Post Info
More Details (n/a)

Added	20 Apr 2012
Updated	20 Apr 2012
Type	Journal
Year	2012
Where	CORR
Authors	Mark Marron, Cesar Sanchez, Zhendong Su, Manuel Fähndrich

Comments (0)