Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

On Proof Rules for Monitors., and . ACM SIGOPS Oper. Syst. Rev., 16 (2): 18-27 (1982)Reply: Operating System Review 16(4): 8-9 (1982).A State-of-the-Art CS Undergraduate Lab., and . CSEE, volume 423 of Lecture Notes in Computer Science, page 85-94. Springer, (1990)Teaching declarative programming.. SIGCSE, page 83-85. ACM, (1975)Converting from Pascal to Modula-2 in the undergraduate curriculum., , and . SIGCSE, page 50-52. ACM, (1986)Publishing a computer science textbook (panel session)., , , , , , , , and . ACM Conference on Computer Science, page 397-398. ACM, (1986)Textual materials for courses in computers and society (SIGCAS)., , , , and . ACM Annual Conference, page 105. ACM, (1980)PL/I in the computer science curriculum., , and . SIGCSE, page 116-126. ACM, (1972)Assertional checking and symbolic execution: An effective combination for debugging., , and . ACM Annual Conference, page 152-156. ACM, (1979)Using concept expansion and level integration in an introductory computer science course., and . SIGCSE, page 244-248. ACM, (1988)Introductory service courses in the computer science curriculum., and . SIGCSE, page 49-52. ACM, (1972)