( en | de | ru )

 

Disambiguierung von "Kieburtz, Richard B."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Software Engineering Experiment in Software Component Generation.

, , , , , , , , , und . ICSE, Seite 542-552. IEEE Computer Society, (1996)

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 Klösgen

B Wiederanders

B Hause

B Strauß

 

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).A Distributed Operating System for the Stony Brook Multicomputer.. ICDCS, Seite 67-78. IEEE Computer Society, (1981)The logic of demand in Haskell., und . J. Funct. Program., 15 (5): 837-891 (2005)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)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)Global Context Recovery: A New Strategy for Syntactic Error Recovery by Table-Drive Parsers., und . ACM Trans. Program. Lang. Syst., 2 (1): 18-41 (1980)Capability Managers., und . IEEE Trans. Software Eng., 4 (6): 467-477 (1978)