( en | de | ru )

 

Disambiguierung von "Kieburtz, Richard B."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Strength Induction in a Haskell Program Verifier.

. Festschrift honoring Gary Lindstrom, Volume 193 von Electronic Notes in Theoretical Computer Science, Seite 61-79. Elsevier, (2007)

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.

Richard B Parkinson

B Vlavianos

B Klösgen

B Wiederanders

B Hause

 

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).Global context recovery: A new strategy for parser recovery from syntax errors., und . SIGPLAN Symposium on Compiler Construction, Seite 158-167. ACM, (1979)Programming without Pointer Variables.. Conference on Data: Abstraction, Definition and Structure, Seite 95-107. ACM, (1976)TOMAL-a high-level programming language for microprocessor process control applications., und . SIGMINI, Seite 127-134. ACM, (1976)The Formal Definition of a Real-Time Language., und . Acta Inf., (1981)Performance measurement of a G-machine implementation.. Graph Reduction, Volume 279 von Lecture Notes in Computer Science, Seite 275-296. Springer, (1986)Formal Verification of Explicitly Parallel Microprocessors., , , und . CHARME, Volume 1703 von Lecture Notes in Computer Science, Seite 23-36. Springer, (1999)A Distributed Operating System for the Stony Brook Multicomputer.. ICDCS, Seite 67-78. IEEE Computer Society, (1981)Strength Induction in a Haskell Program Verifier.. Festschrift honoring Gary Lindstrom, Volume 193 von Electronic Notes in Theoretical Computer Science, Seite 61-79. Elsevier, (2007)On the Static Access-Control Mechanism in Concurrent Pascal., und . Comput. J., 25 (1): 17-21 (1982)