A Type-based Framework for Program Analysis.

Chris Hankin, Daniel Le Mtayer

Browse the full SAS paper archive.