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

Eliminating Proofs of Non-interference from Levin-Gries CSP Program Proofs.. ICDCS, page 494-499. IEEE Computer Society, (1986)Squint: barely visible library support for CS1.. SIGCSE, page 526-530. ACM, (2007)A Less Dynamic Memory Allocation Scheme for Algol-like Languages.. POPL, page 283-289. ACM Press, (1984)Lifetime Analysis of Dynamically Allocated Objects., and . POPL, page 285-293. ACM Press, (1988)Why structural recursion should be taught before arrays in CS 1., , and . SIGCSE, page 246-250. ACM, (2005)A library to support a graphics-based object-first approach to CS 1., , and . SIGCSE, page 6-10. ACM, (2001)Introducing concurrency in CS 1., , and . SIGCSE, page 224-228. ACM, (2010)Nifty assignments., , , , , , , , and . SIGCSE, page 478-479. ACM, (2010)The Tilde File Naming Scheme., and . ICDCS, page 509-514. IEEE Computer Society, (1986)Safe and Decidable Type Checking in an Object-Oriented Language., , , , , and . OOPSLA, page 29-46. ACM, (1993)SIGPLAN Notices 28(10) / OOPSLA'93, Addendum to the Proceedings: OOPS Messenger 5(2) April 1994.