MRI: Modular reasoning about interference in incremental programming.
Saved in:
| Title: | MRI: Modular reasoning about interference in incremental programming. |
|---|---|
| Authors: | OLIVEIRA, BRUNO C. D. S.1 oliveira@comp.nus.edu.sg, SCHRIJVERS, TOM2 tom.schrijvers@ugent.be, COOK, WILLIAM R.3 wcook@cs.utexas.edu |
| Source: | Journal of Functional Programming. Nov2012, Vol. 22 Issue 6, p797-852. 56p. |
| Database: | Mathematics Source |
| ISSN: | 09567968 |
|---|---|
| DOI: | 10.1017/S0956796812000354 |
