Pages that link to "Item:Q3000594"

The following pages link to Precise Interprocedural Analysis in the Presence of Pointers to the Stack (Q3000594):

Displaying 2 items.

• Precise Interprocedural Analysis in the Presence of Pointers to the Stack (Q3000594) (← links)
• Inferring Effective Types for Static Analysis of C Programs (Q5170179) (← links)