Sciweavers

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

9

CAV
2008
Springer

favoriteEmaildiscussreport

110views Hardware» more CAV 2008»

Monotonic Abstraction for Programs with Dynamic Memory Heaps

13 years 6 months 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)