( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Software Engineering Experiment in Software Component Generation.

, , , , , , , , , и . ICSE, стр. 542-552. IEEE Computer Society, (1996)

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.

Richard B Parkinson

B Klösgen

B Wiederanders

B Hause

B Strauß

 

Другие публикации лиц с тем же именем

A RISC Architecture for Symbolic Computation.. ASPLOS, стр. 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, стр. 95-107. ACM, (1976)Global context recovery: A new strategy for parser recovery from syntax errors., и . SIGPLAN Symposium on Compiler Construction, стр. 158-167. ACM, (1979)The Formal Definition of a Real-Time Language., и . Acta Inf., (1981)TOMAL-a high-level programming language for microprocessor process control applications., и . SIGMINI, стр. 127-134. ACM, (1976)A Distributed Operating System for the Stony Brook Multicomputer.. ICDCS, стр. 67-78. IEEE Computer Society, (1981)Performance measurement of a G-machine implementation.. Graph Reduction, том 279 из Lecture Notes in Computer Science, стр. 275-296. Springer, (1986)Formal Verification of Explicitly Parallel Microprocessors., , , и . CHARME, том 1703 из Lecture Notes in Computer Science, стр. 23-36. Springer, (1999)Calculating Software Generators from Solution Specifications., , , , , , , , и . TAPSOFT, том 915 из Lecture Notes in Computer Science, стр. 546-560. Springer, (1995)Strength Induction in a Haskell Program Verifier.. Festschrift honoring Gary Lindstrom, том 193 из Electronic Notes in Theoretical Computer Science, стр. 61-79. Elsevier, (2007)