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 |
Be the first to leave a comment!
