Polyvariance

From Wikipedia, the free encyclopedia

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[]

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


Stub icon

This computer science article is a stub. You can help Wikipedia by .

  • v
  • t
Retrieved from ""