Polyvariance

From Wikipedia, the free encyclopedia
Jump to: navigation, search

In program analysis, an analysis is called polyvariant if functions are analyzed multiple times—typically once at each call site—to improve the precision of the analysis.[1]

References[edit]

  1. ^ Palsberg, Jens; Pavlopoulou, Christina. "From Polyvariant Flow Information to Intersection and Union Types". Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '98): 197–208. doi:10.1017/S095679680100394X.