Login / Signup
Robert G. Watson
Publication Activity (10 Years)
Years Active: 2006-2008
Publications (10 Years): 0
</>
Publications
</>
Daniel E. Cooke
,
J. Nelson Rushton
,
Brad Nemanich
,
Robert G. Watson
,
Per Andersen
Normalize, transpose, and distribute: An automatic approach for handling nonscalars.
ACM Trans. Program. Lang. Syst.
30 (2) (2008)
Daniel E. Cooke
,
J. Nelson Rushton
,
Robert G. Watson
The Evolutionary Role of Variable Assignment and Its Impact on Program Verification.
SEKE
(2006)