<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2011-10-04 10:23:10Computing Software engineering Programming language theory Parallel computing ALGOL 68 Schedule |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2011-10-04 10:23:10Computing Software engineering Programming language theory Parallel computing ALGOL 68 Schedule |
Add to Reading List |
Automatic Verification of Determinism for Structured Parallel Programs Martin Vechev1 , Eran Yahav1 , Raghavan Raman2 , and Vivek Sarkar2 1 IBM T.J. Watson Research Center.