2009 |
15 | EE | Nick Parlante,
Thomas P. Murtagh,
Mehran Sahami,
Owen L. Astrachan,
David Reed,
Christopher A. Stone,
Brent Heeringa,
Karen L. Reid:
Nifty assignments.
SIGCSE 2009: 483-484 |
2007 |
14 | EE | Thomas P. Murtagh:
Weaving CS into CS1: a doubly depth-first approach.
SIGCSE 2007: 336-340 |
13 | EE | Thomas P. Murtagh:
Squint: barely visible library support for CS1.
SIGCSE 2007: 526-530 |
2005 |
12 | EE | Kim B. Bruce,
Andrea Pohoreckyj Danyluk,
Thomas P. Murtagh:
Why structural recursion should be taught before arrays in CS 1.
SIGCSE 2005: 246-250 |
2001 |
11 | EE | Kim B. Bruce,
Andrea Pohoreckyj Danyluk,
Thomas P. Murtagh:
Event-driven programming is simple enough for CS1.
ITiCSE 2001: 1-4 |
10 | EE | Thomas P. Murtagh:
Teacing breadth-first depth-first.
ITiCSE 2001: 37-40 |
9 | EE | Kim B. Bruce,
Andrea Pohoreckyj Danyluk,
Thomas P. Murtagh:
A library to support a graphics-based object-first approach to CS 1.
SIGCSE 2001: 6-10 |
1993 |
8 | | 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: 29-46 |
1991 |
7 | EE | Thomas P. Murtagh:
An Improved Storage Management Scheme for Block Structured Languages.
ACM Trans. Program. Lang. Syst. 13(3): 372-398 (1991) |
1990 |
6 | | Douglas Comer,
Ralph E. Droms,
Thomas P. Murtagh:
An Experimental Implementation of the Tilde Naming System.
Computing Systems 3(4): 487-515 (1990) |
1988 |
5 | | Cristina Ruggieri,
Thomas P. Murtagh:
Lifetime Analysis of Dynamically Allocated Objects.
POPL 1988: 285-293 |
1987 |
4 | | Thomas P. Murtagh:
Redundant Proofs of Non-Interference in Levin-Gries CSP Program Proofs.
Acta Inf. 24(2): 145-156 (1987) |
1986 |
3 | | Thomas P. Murtagh:
Eliminating Proofs of Non-interference from Levin-Gries CSP Program Proofs.
ICDCS 1986: 494-499 |
2 | | Douglas Comer,
Thomas P. Murtagh:
The Tilde File Naming Scheme.
ICDCS 1986: 509-514 |
1984 |
1 | | Thomas P. Murtagh:
A Less Dynamic Memory Allocation Scheme for Algol-like Languages.
POPL 1984: 283-289 |