• Variance analyses from invaria...

Treffer: Variance analyses from invariance analyses

Title:
Variance analyses from invariance analyses
Authors:
Berdine, Josh, Chawdhary, Aziem, Cook, Byron, Distefano, Dino, O'Hearn, Peter
Source:
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :211-224
Availability:
http://dl.acm.org/doi/10.1145/1190216.1190249
Database:
ACM Full-Text Collection