Berdine, J and Chawdhary, A and Cook, B and Distefano, D and O'Hearn, PW (2007) Variance analyses from invariance analyses. In: Hofmann, M and Felleisen, M, (eds.) POPL. (pp. 211 - 224). ACM
Full text not available from this repository.
| Type: | Proceedings paper |
|---|---|
| Title: | Variance analyses from invariance analyses. |
| ISBN: | 1-59593-575-4 |
| DOI: | 10.1145/1190216.1190249 |
| Publisher version: | http://dl.acm.org/citation.cfm?id=1190216 |
| UCL classification: | UCL > School of BEAMS > Faculty of Engineering Science > Computer Science |
Archive Staff Only: edit this record