Pages that link to "Item:Q3512503"
From MaRDI portal
The following pages link to Monotonic Abstraction for Programs with Dynamic Memory Heaps (Q3512503):
Displaying 12 items.
- Programs with lists are counter automata (Q537953) (← links)
- Well-structured graph transformation systems (Q729812) (← links)
- Juggrnaut: using graph grammars for abstracting unbounded heap structures (Q746781) (← links)
- Hierarchical shape abstraction for analysis of free list memory allocators (Q2409733) (← links)
- Forest automata for verification of heap manipulation (Q2441715) (← links)
- Monotonic abstraction for programs with multiply-linked structures (Q2841994) (← links)
- Bottom-Up Shape Analysis (Q3392926) (← links)
- Monotonic Abstraction for Programs with Dynamic Memory Heaps (Q3512503) (← links)
- Recency-Abstraction for Heap-Allocated Storage (Q3613388) (← links)
- Automatic Verification of Directory-Based Consistency Protocols (Q3646250) (← links)
- Monotonic Abstraction in Parameterized Verification (Q4982082) (← links)
- Automatic numeric abstractions for heap-manipulating programs (Q5255075) (← links)