Timothy A. Budd

Publication Activity (10 Years)

Years Active: 1978-2006
Publications (10 Years): 0

Publications

Timothy A. Budd
An active learning approach to teaching the data structures course. SIGCSE (2006)
Timothy A. Budd
Protecting and Managing Electronic Content with a Digital Battery. Computer 34 (8) (2001)
Charles D. Knutson, Timothy A. Budd, Hugh Vidos
Multiparadigm Design of a Simple Relational Database. ACM SIGPLAN Notices 35 (12) (2000)
Timothy A. Budd
Functional Programming and the Fragile Base Class Problem. ACM SIGPLAN Notices 33 (12) (1998)
Timothy A. Budd, Rajeev K. Pandey
Never mind the paradigm, what about multiparadigm languages? ACM SIGCSE Bull. 27 (2) (1995)
Timothy A. Budd, Timothy P. Justice, Rajeev K. Pandey
General-purpose multiparadigm programming languages: an enabling technology for constructing complex systems. ICECCS (1995)
Timothy P. Justice, Rajeev K. Pandey, Timothy A. Budd
A Multiparadigm Approach to Compiler Construction. ACM SIGPLAN Notices 29 (9) (1994)
Timothy A. Budd
Multiparadigm data structures in Leda. ICCL (1992)
Timothy A. Budd, Rajeev K. Pandey
Compiling APL for Parallel and Vector Execution. APL (1991)
Timothy A. Budd
Blending Imperative and Relational Programming. IEEE Softw. 8 (1) (1991)
Timothy A. Budd
The Design of an Object-oriented Command Interpreter. Softw. Pract. Exp. 19 (1) (1989)
Timothy A. Budd
Time space tradeoffs in vector algorithms for APL functions. ACM SIGPLAN Notices 23 (12) (1988)
Timothy A. Budd, Ajei S. Gopal
Program Testing by Specification Mutation. Comput. Lang. 10 (1) (1985)
Timothy A. Budd
Creation and Reflexive Rights in Grammatical Protection Systems. Inf. Process. Lett. 21 (3) (1985)
Timothy A. Budd
Dataflow analysis in APL. APL (1985)
Joseph M. Treat, Timothy A. Budd
Extensions to Grid Selector Composition and Compilation in APL. Inf. Process. Lett. 19 (3) (1984)
Timothy A. Budd
An APL Compiler for a Vector Processor. ACM Trans. Program. Lang. Syst. 6 (3) (1984)
Timothy A. Budd
An APL compiler for the UNIX timesharing system. APL (1983)
Timothy A. Budd
Safety in grammatical protection systems. Int. J. Parallel Program. 12 (6) (1983)
Timothy A. Budd, Dana Angluin
Two Notions of Correctness and Their Relation to Testing. Acta Informatica 18 (1982)
Timothy A. Budd
An Implementation of Generators in C. Comput. Lang. 7 (2) (1982)
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)
Timothy A. Budd, Richard J. Lipton, Richard A. DeMillo, Frederick G. Sayward
The design of a prototype mutation system for program testing. AFIPS National Computer Conference (1978)