 | 1998 |
|---|
| 9 |       | Jim Grundy,
Malcolm C. Newey:
Theorem Proving in Higher Order Logics, 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings
Springer 1998 |
| 1994 |
|---|
| 8 |  | Peter R. Bailey,
Malcolm C. Newey,
David Sitsky,
Robin Stanton:
Supporting Coarse and Fine Grain Parallelism in an Extension of ML.
CONPAR 1994: 593-604 |
| 1992 |
|---|
| 7 | | Peter R. Bailey,
Malcolm C. Newey:
Implementing ML on Distributed Memory Multiprocessors.
SIGPLAN Workshop 1992: 56-59 |
| 1991 |
|---|
| 6 | | Rachel E. O. Roxas,
Malcolm C. Newey:
Proof of Program Transformations.
TPHOLs 1991: 223-230 |
| 5 | | Malcolm C. Newey:
Proof Based Computation.
TPHOLs 1991: 380-383 |
| 1985 |
|---|
| 4 | | Malcolm C. Newey,
William M. Waite:
The Robust Implementation of Sequence-Controlled Iteration.
Softw., Pract. Exper. 15(7): 655-668 (1985) |
| 1978 |
|---|
| 3 | | Michael J. C. Gordon,
Robin Milner,
L. Morris,
Malcolm C. Newey,
Christopher P. Wadsworth:
A Metalanguage for Interactive Proof in LCF.
POPL 1978: 119-130 |
| 1977 |
|---|
| 2 | | Malcolm C. Newey:
Proving Properties of Assembly Language Programs.
IFIP Congress 1977: 795-799 |
| 1972 |
|---|
| 1 | | Malcolm C. Newey,
Peter C. Poole,
William M. Waite:
Abstract Machine Modelling to Produce Portable Software - A Review and Evaluation.
Softw., Pract. Exper. 2(2): 107-136 (1972) |
