Variance analyses from invariance analyses (2007)

by Josh Berdine , Dino Distefano
Venue:In POPL’2007: Principles of Programming Languages
Citations:28 - 7 self