Polyvariance

From Justapedia, unleashing the power of collective wisdom
Jump to navigation Jump to 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

  1. ^ Palsberg, Jens; Pavlopoulou, Christina (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 Justapedia by expanding it.

Retrieved from "https://justapedia.org/index.php?title=Polyvariance&oldid=1044092897"