scholarly journals A Static Heap Analysis for Shape and Connectivity: Unified Memory Analysis: The Base Framework

2007 ◽  
pp. 345-363 ◽  
Author(s):  
Mark Marron ◽  
Deepak Kapur ◽  
Darko Stefanovic ◽  
Manuel Hermenegildo
Keyword(s):  
Heap Analysis

Connection Analysis: A Practical Interprocedural Heap Analysis for C

1996 ◽  
Vol 24 (6) ◽  
pp. 547-578 ◽  
Author(s):  
Rakesh Ghiya ◽  
Laurie J. Hendren
Keyword(s):  
Heap Analysis

Runtime specialization with optimistic heap analysis

2005 ◽  
Vol 40 (10) ◽  
pp. 327-343 ◽  
Author(s):  
Ajeet Shankar ◽  
S. Subramanya Sastry ◽  
Rastislav Bodík ◽  
James E. Smith
Keyword(s):  
Heap Analysis

scholarly journals Shape Refinement through Explicit Heap Analysis

2010 ◽  
pp. 263-277 ◽  
Author(s):  
Dirk Beyer ◽  
Thomas A. Henzinger ◽  
Grégory Théoduloz ◽  
Damien Zufferey
Keyword(s):  
Heap Analysis

scholarly journals Programming Paradigm Driven Heap Analysis

2012 ◽  
pp. 41-60
Author(s):  
Mark Marron ◽  
Ondřej Lhoták ◽  
Anindya Banerjee
Keyword(s):  
Programming Paradigm ◽  
Heap Analysis

Modular Heap Analysis for Higher-Order Programs

2012 ◽  
pp. 370-387 ◽  
Author(s):  
Ravichandhran Madhavan ◽  
G. Ramalingam ◽  
Kapil Vaswani
Keyword(s):  
Higher Order ◽  
Heap Analysis
Sign in / Sign up

Export Citation Format

Share Document