[TYPES] type-sensitive CFA?

Paul A. Steckler steck at central.cis.upenn.edu
Thu Jun 16 20:16:16 EDT 2005

John Reppy asked:
> I'm looking at a program analysis problem for ML-like languages where
> I want to exploit type abstraction to improve the precision of a
> standard 0-CFA type analysis.  I was wondering if such analyses have
> been previously studied and/or implemented?  Any pointers would
> appreciated.  Thanks.

This paper by Jagannathan, Weeks, and Wright describes the 
use of types to control polyvariance:


-- Paul

More information about the Types-list mailing list