Skip to content

Interprocedural Shape Analysis for Cutpoint-Free Programs.

Noam Rinetzky, Mooly Sagiv, Eran Yahav

VenueBSAS
Year2005
ProceedingsSAS

Browse the full SAS paper archive.