Monotonic Abstraction for Programs with Dynamic Memory Heaps

14 years 2 months ago

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

Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Ced

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

claim paper

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)