Pages that link to "Item:Q3656885"

The following pages link to Shape Analysis of Low-Level C with Overlapping Structures (Q3656885):

Displaying 3 items.

• Lightweight shape analysis based on physical types (Q2152652) (← links)
• A divide-and-conquer approach for analysing overlaid data structures (Q2441710) (← links)
• Concrete Memory Models for Shape Analysis (Q2814114) (← links)