Pages that link to "Item:Q4930728"
From MaRDI portal
The following pages link to A Shape Analysis for Non-linear Data Structures (Q4930728):
Displaying 7 items.
- A semantics for shape (Q1916356) (← links)
- Data structures and algorithms analysis -- new perspectives. Volume 2: Data structures based on nonlinear relations and data processing methods (Q2184842) (← links)
- A divide-and-conquer approach for analysing overlaid data structures (Q2441710) (← links)
- Towards dynamic shaping (Q2729986) (← links)
- Scalable Shape Analysis for Systems Code (Q3512506) (← links)
- Shape Analysis in the Absence of Pointers and Structure (Q3656888) (← links)
- Static Analysis (Q5466563) (← links)