Pages that link to "Item:Q2926653"

The following pages link to Reduced Product Combination of Abstract Domains for Shapes (Q2926653):

Displaying 4 items.

• An array content static analysis based on non-contiguous partitions (Q681352) (← links)
• Demand-driven interprocedural analysis for map-based abstract domains (Q1785851) (← links)
• Lightweight shape analysis based on physical types (Q2152652) (← links)
• Galois Connections for Recursive Types (Q3297839) (← links)