Malcolm C. Newey

Jim Grundy, Malcolm C. Newey (Eds.): Theorem Proving in Higher Order Logics, 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings. Lecture Notes in Computer Science 1479, Springer 1998, isbn 3-540-64987-5

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

Peter R. Bailey, Malcolm C. Newey: Implementing ML on Distributed Memory Multiprocessors. SIGPLAN Workshop 1992: 56-59

Rachel E. O. Roxas, Malcolm C. Newey: Proof of Program Transformations. TPHOLs 1991: 223-230

Malcolm C. Newey: Proof Based Computation. TPHOLs 1991: 380-383

Malcolm C. Newey, William M. Waite: The Robust Implementation of Sequence-Controlled Iteration. Softw., Pract. Exper. 15(7): 655-668 (1985)

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

Malcolm C. Newey: Proving Properties of Assembly Language Programs. IFIP Congress 1977: 795-799

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)

David Canfield Smith, Malcolm C. Newey, Kenneth Mark Colby: Automated therapy for nonspeaking autistic children. AFIPS Spring Joint Computing Conference 1972: 1101-1106