flow analysis (1997)

by polymorphism Polyvariance
Venue:In Proc. Analysis and Verification of Multiple-Agent Languages