Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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