Travelled to:2 × USA
Collaborated with:D.Towell D.E.Cooke R.G.Watson
Talks about:program (2) evolutionari (1) variabl (1) languag (1) facilit (1) reason (1) inform (1) impact (1) assign (1) verif (1)
Person: J. Nelson Rushton
DBLP: Rushton:J=_Nelson
Contributed to:
20072006Wrote 2 papers:
- SEKE-2007-RushtonT #reasoning #source code
- A Language Facilitating Informal Reasoning about Programs (JNR, DT), p. 396–?.
- SEKE-2006-CookeRW #verification
- The Evolutionary Role of Variable Assignment and Its Impact on Program Verification (DEC, JNR, RGW), pp. 315–320.