Malcolm C. Newey

According to our database, Malcolm C. Newey authored at least 10 papers between 1968 and 1994.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1994

Supporting Coarse and Fine Grain Parallelism in an Extension of ML.

Peter R. Bailey, Malcolm C. Newey, David Sitsky, Robin B. Stanton

Proceedings of the Parallel Processing: CONPAR 94, 1994

1992

Implementing ML on Distributed Memory Multiprocessors.

Peter R. Bailey, Malcolm C. Newey

Proceedings of the 2nd SIGPLAN Workshop on Languages, Compilers, and Run-Time Environments for Distributed Memory Multiprocessors, Boulder, Colorado, September 30, 1992

1991

Proof of Program Transformations.

Rachel E. O. Roxas, Malcolm C. Newey

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991

Proof Based Computation.

Malcolm C. Newey

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991

1985

The Robust Implementation of Sequence-Controlled Iteration.

Malcolm C. Newey, William M. Waite

Softw. Pract. Exp., 1985

1978

A Metalanguage for Interactive Proof in LCF.

Michael J. C. Gordon, Robin Milner, F. Lockwood Morris, Malcolm C. Newey, Christopher P. Wadsworth

Proceedings of the Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, 1978

1977

Proving Properties of Assembly Language Programs.

Malcolm C. Newey

Proceedings of the Information Processing, 1977

1972

Abstract Machine Modelling to Produce Portable Software - A Review and Evaluation.

Malcolm C. Newey, Peter C. Poole, William M. Waite

Softw. Pract. Exp., 1972

Automated therapy for nonspeaking autistic children.

David Canfield Smith, Malcolm C. Newey, Kenneth Mark Colby

Proceedings of the American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1972 Spring Joint Computer Conference, 1972

1968

An efficient system for user extendible languages.

Malcolm C. Newey

Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '68 Fall Joint Computer Conference, December 9-11, 1968, San Francisco, California, USA, 1968