| 2006 |
|---|
| 18 | EE | Timothy A. Budd:
An active learning approach to teaching the data structures course.
SIGCSE 2006: 143-147 |
| 2001 |
|---|
| 17 | EE | Timothy A. Budd:
Protecting and Managing Electronic Content with a Digital Battery.
IEEE Computer 34(8): 24-30 (2001) |
| 2000 |
|---|
| 16 | | Charles D. Knutson,
Timothy A. Budd,
Hugh Vidos:
Multiparadigm Design of a Simple Relational Database.
SIGPLAN Notices 35(12): 51-61 (2000) |
| 1998 |
|---|
| 15 | | Timothy A. Budd:
Functional Programming and the Fragile Base Class Problem.
SIGPLAN Notices 33(12): 66-71 (1998) |
| 1995 |
|---|
| 14 | EE | Timothy A. Budd,
Timothy P. Justice,
Rajeev K. Pandey:
General-purpose multiparadigm programming languages: an enabling technology for constructing complex systems.
ICECCS 1995: 334-337 |
| 1994 |
|---|
| 13 | EE | Timothy P. Justice,
Rajeev K. Pandey,
Timothy A. Budd:
A Multiparadigm Approach to Compiler Construction.
SIGPLAN Notices 29(9): 29-37 (1994) |
| 1992 |
|---|
| 12 | EE | Timothy A. Budd:
Multiparadigm data structures in Leda.
ICCL 1992: 165-173 |
| 1991 |
|---|
| 11 | EE | Timothy A. Budd,
Rajeev K. Pandey:
Compiling APL for Parallel and Vector Execution.
APL 1991: 80-87 |
| 10 | | Timothy A. Budd:
Blending Imperative and Relational Programming.
IEEE Software 8(1): 58-65 (1991) |
| 1989 |
|---|
| 9 | | Timothy A. Budd:
The Design of an Object-oriented Command Interpreter.
Softw., Pract. Exper. 19(1): 35-51 (1989) |
| 1988 |
|---|
| 8 | EE | Timothy A. Budd:
Time space tradeoffs in vector algorithms for APL functions.
SIGPLAN Notices 23(12): 63-68 (1988) |
| 1985 |
|---|
| 7 | | Timothy A. Budd,
Ajei S. Gopal:
Program Testing by Specification Mutation.
Comput. Lang. 10(1): 63-73 (1985) |
| 6 | | Timothy A. Budd:
Creation and Reflexive Rights in Grammatical Protection Systems.
Inf. Process. Lett. 21(3): 141-145 (1985) |
| 1984 |
|---|
| 5 | EE | Timothy A. Budd:
An APL Compiler for a Vector Processor.
ACM Trans. Program. Lang. Syst. 6(3): 297-313 (1984) |
| 4 | | Joseph M. Treat,
Timothy A. Budd:
Extensions to Grid Selector Composition and Compilation in APL.
Inf. Process. Lett. 19(3): 117-123 (1984) |
| 1982 |
|---|
| 3 | | Timothy A. Budd,
Dana Angluin:
Two Notions of Correctness and Their Relation to Testing.
Acta Inf. 18: 31-45 (1982) |
| 2 | | Timothy A. Budd:
An Implementation of Generators in C.
Comput. Lang. 7(2): 69-87 (1982) |
| 1980 |
|---|
| 1 | | Timothy A. Budd,
Richard A. DeMillo,
Richard J. Lipton,
Frederick G. Sayward:
Theoretical and Emperical Studies on Using Program Mutation to Test the Functional Correctness of Programs.
POPL 1980: 220-233 |
