From post

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.

 

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

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