Thomas P. Murtagh

Publication Activity (10 Years)

Years Active: 1984-2010
Publications (10 Years): 0

Publications

Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh
Introducing concurrency in CS 1. SIGCSE (2010)
Nick Parlante, Julie Zelenski, Zachary Dodds, Wynn Vonnegut, David J. Malan, Thomas P. Murtagh, Todd W. Neller, Mark Sherriff, Daniel Zingaro
Nifty assignments. SIGCSE (2010)
Nick Parlante, Thomas P. Murtagh, Mehran Sahami, Owen L. Astrachan, David Reed, Christopher A. Stone, Brent Heeringa, Karen L. Reid
Nifty assignments. SIGCSE (2009)
Thomas P. Murtagh
Weaving CS into CS1: a doubly depth-first approach. SIGCSE (2007)
Thomas P. Murtagh
Squint: barely visible library support for CS1. SIGCSE (2007)
Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh
Why structural recursion should be taught before arrays in CS 1. SIGCSE (2005)
Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh
A library to support a graphics-based object-first approach to CS 1. SIGCSE (2001)
Thomas P. Murtagh
Teacing breadth-first depth-first. ITiCSE (2001)
Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh
Event-driven programming is simple enough for CS1. ITiCSE (2001)
Kim B. Bruce, Jonathan Crabtree, Thomas P. Murtagh, Robert van Gent, Allyn Dimock, Robert Muller
Safe and Decidable Type Checking in an Object-Oriented Language. OOPSLA (1993)
Thomas P. Murtagh
An Improved Storage Management Scheme for Block Structured Languages. ACM Trans. Program. Lang. Syst. 13 (3) (1991)
Douglas Comer, Ralph E. Droms, Thomas P. Murtagh
An Experimental Implementation of the Tilde Naming System. Comput. Syst. 3 (4) (1990)
Cristina Ruggieri, Thomas P. Murtagh
Lifetime Analysis of Dynamically Allocated Objects. POPL (1988)
Thomas P. Murtagh
Redundant Proofs of Non-Interference in Levin-Gries CSP Program Proofs. Acta Informatica 24 (2) (1987)
Douglas Comer, Thomas P. Murtagh
The Tilde File Naming Scheme. ICDCS (1986)
Thomas P. Murtagh
Eliminating Proofs of Non-interference from Levin-Gries CSP Program Proofs. ICDCS (1986)
Thomas P. Murtagh
A Less Dynamic Memory Allocation Scheme for Algol-like Languages. POPL (1984)