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 |