Malcolm C. Newey

Publication Activity (10 Years)

Years Active: 1968-1994
Publications (10 Years): 0

Publications

Peter R. Bailey, Malcolm C. Newey, David Sitsky, Robin B. Stanton
Supporting Coarse and Fine Grain Parallelism in an Extension of ML. CONPAR (1994)
Peter R. Bailey, Malcolm C. Newey
Implementing ML on Distributed Memory Multiprocessors. SIGPLAN Workshop (1992)
Malcolm C. Newey
Proof Based Computation. TPHOLs (1991)
Rachel E. O. Roxas, Malcolm C. Newey
Proof of Program Transformations. TPHOLs (1991)
Malcolm C. Newey, William M. Waite
The Robust Implementation of Sequence-Controlled Iteration. Softw. Pract. Exp. 15 (7) (1985)
Michael J. C. Gordon, Robin Milner, L. Morris, Malcolm C. Newey, Christopher P. Wadsworth
A Metalanguage for Interactive Proof in LCF. POPL (1978)
Malcolm C. Newey
Proving Properties of Assembly Language Programs. IFIP Congress (1977)
Malcolm C. Newey, Peter C. Poole, William M. Waite
Abstract Machine Modelling to Produce Portable Software - A Review and Evaluation. Softw. Pract. Exp. 2 (2) (1972)
David Canfield Smith, Malcolm C. Newey, Kenneth Mark Colby
Automated therapy for nonspeaking autistic children. AFIPS Spring Joint Computing Conference (1972)
Malcolm C. Newey
An efficient system for user extendible languages. AFIPS Fall Joint Computing Conference (2) (1968)