program analysis In computer science, program analysis is the process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness. Program analysis focuses on two major areas: program o ...

, polyvariance is an analysis in which functions are analyzed multiple times—typically once at each

call site In programming, a spot of a function or subroutine is the location (line of code) where the function is called (or may be called, through dynamic dispatch). A call site is where zero or more arguments are passed to the function, and zero or more ...

—to improve the precision of the analysis.

References

Program analysis Polymorphism (computer science) {{comp-sci-stub