( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Implementing ML on Distributed Memory Multiprocessors.

, и . SIGPLAN Workshop, стр. 56-59. ACM, (1992)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Malcolm Dunn

Malcolm Dunn

Malcolm Birtle

Malcolm Dunn

Malcolm Einhellinger

 

Другие публикации лиц с тем же именем

Proof Based Computation.. TPHOLs, стр. 380-383. IEEE Computer Society, (1991)Abstract Machine Modelling to Produce Portable Software - A Review and Evaluation., , и . Softw. Pract. Exp., 2 (2): 107-136 (1972)Automated therapy for nonspeaking autistic children., , и . AFIPS Spring Joint Computing Conference, том 40 из AFIPS Conference Proceedings, стр. 1101-1106. AFIPS, (1972)A Metalanguage for Interactive Proof in LCF., , , , и . POPL, стр. 119-130. ACM Press, (1978)Proving Properties of Assembly Language Programs.. IFIP Congress, стр. 795-799. (1977)Supporting Coarse and Fine Grain Parallelism in an Extension of ML., , , и . CONPAR, том 854 из Lecture Notes in Computer Science, стр. 593-604. Springer, (1994)An efficient system for user extendible languages.. AFIPS Fall Joint Computing Conference (2), том 33 из AFIPS Conference Proceedings, стр. 1339-1347. AFIPS / ACM / Thomson Book Company, Washington D.C., (1968)The Robust Implementation of Sequence-Controlled Iteration., и . Softw. Pract. Exp., 15 (7): 655-668 (1985)Proof of Program Transformations., и . TPHOLs, стр. 223-230. IEEE Computer Society, (1991)Implementing ML on Distributed Memory Multiprocessors., и . SIGPLAN Workshop, стр. 56-59. ACM, (1992)