2008 | ||
---|---|---|
2 | EE | 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) |
2006 | ||
1 | Daniel E. Cooke, J. Nelson Rushton, Robert G. Watson: The Evolutionary Role of Variable Assignment and Its Impact on Program Verification. SEKE 2006: 315-320 |
1 | Per Andersen | [2] |
2 | Daniel E. Cooke | [1] [2] |
3 | Brad Nemanich | [2] |
4 | J. Nelson Rushton | [1] [2] |