Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

A RISC Architecture for Symbolic Computation.. ASPLOS, Seite 146-155. ACM Press, (1987)SIGARCH Computer Architecture News 15(5), SIGOPS Operating System Review 21(4), SIGPLAN Notices 22(10).Programming without Pointer Variables.. Conference on Data: Abstraction, Definition and Structure, Seite 95-107. ACM, (1976)Global context recovery: A new strategy for parser recovery from syntax errors., und . SIGPLAN Symposium on Compiler Construction, Seite 158-167. ACM, (1979)The Formal Definition of a Real-Time Language., und . Acta Inf., (1981)TOMAL-a high-level programming language for microprocessor process control applications., und . SIGMINI, Seite 127-134. ACM, (1976)A Distributed Operating System for the Stony Brook Multicomputer.. ICDCS, Seite 67-78. IEEE Computer Society, (1981)On the Static Access-Control Mechanism in Concurrent Pascal., und . Comput. J., 25 (1): 17-21 (1982)Performance measurement of a G-machine implementation.. Graph Reduction, Volume 279 von Lecture Notes in Computer Science, Seite 275-296. Springer, (1986)Calculating Software Generators from Solution Specifications., , , , , , , , und . TAPSOFT, Volume 915 von Lecture Notes in Computer Science, Seite 546-560. Springer, (1995)Formal Verification of Explicitly Parallel Microprocessors., , , und . CHARME, Volume 1703 von Lecture Notes in Computer Science, Seite 23-36. Springer, (1999)