Sciweavers

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

27

CAV
2008
Springer

favoriteEmaildiscussreport

110views Hardware» more CAV 2008»

Monotonic Abstraction for Programs with Dynamic Memory Heaps

14 years 26 days ago

Monotonic Abstraction for Programs with Dynamic Memory Heaps

Download www.liafa.jussieu.fr

c Abstraction for Programs with Dynamic Memory Heaps Parosh Aziz Abdulla1 , Ahmed Bouajjani2 , Jonathan Cederberg1 , Fr

Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Ced

Real-time Traffic

CAV 2008 | Dynamic Heap Manipulation | Dynamic Memory Heaps | Hardware | Minimal Graph Patterns |

claim paper

Related Content

» Automated Analysis of DataDependent Programs with Dynamic Memory

» On improving heap memory layout by dynamic pool allocation

» Strategies for dynamic memory allocation in hybrid architectures

» Tracking Heaps That Hop with HeapHop

» Parametric heap usage analysis for functional programs

» Revocable locks for nonblocking programming

» Statically Inferring Complex Heap Array and Numeric Invariants

» Cork dynamic memory leak detection for garbagecollected languages

» An Effect System Combining Alias and Liveness for Explicit Memory Reuse

Post Info
More Details (n/a)

Added	12 Oct 2010
Updated	12 Oct 2010
Type	Conference
Year	2008
Where	CAV
Authors	Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, Ahmed Rezine

Comments (0)