Unified Analysis of Array and Object References in Strongly Typed Languages.

Stephen J. Fink, Kathleen Knobe, Vivek Sarkar

Browse the full SAS paper archive.