Uploads
Contact
/
Login
Upload
Search Results for 'Rinard'
Accuracy-Aware Program Transformations
sherrill-nordquist
AcceptabilityOriented Computing Martin Rinard MIT Laboratory for Computer Science Cambridge
sherrill-nordquist
Proving Acceptability Properties of Relaxed Nondeterministi
mitsue-stanley