( en | de | ru )

 

Disambiguierung von "Newey, Malcolm C."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Metalanguage for Interactive Proof in LCF.

, , , , und . POPL, Seite 119-130. ACM Press, (1978)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Malcolm Dunn

Malcolm Dunn

Malcolm Birtle

Malcolm Dunn

Malcolm Einhellinger

 

Weitere Publikationen von Autoren mit dem selben Namen

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