Recognition of logically related regions based heap abstraction
This paper presents a novel set of algorithms for heap abstraction, identifying logically related regions of the heap. The targeted regions include objects that are part of the same component structure (recursive data structure). The result of the technique outlined in this paper has the form of a c...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
SpringerOpen
2012-07-01
|
| Series: | Journal of the Egyptian Mathematical Society |
| Online Access: | http://www.sciencedirect.com/science/article/pii/S1110256X12000247 |