Peter M. Neely

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1977

2 Peter M. Neely: On the Use of Integer Arithmetic to Achieve Confirmably Correct Computation. Softw., Pract. Exper. 7(2): 159-163 (1977)

1976

1 Peter M. Neely: A New Programming Discipline. Softw., Pract. Exper. 6(1): 7-27 (1976)

1977
2		Peter M. Neely: On the Use of Integer Arithmetic to Achieve Confirmably Correct Computation. Softw., Pract. Exper. 7(2): 159-163 (1977)
1976
1		Peter M. Neely: A New Programming Discipline. Softw., Pract. Exper. 6(1): 7-27 (1976)