Search the dblp DataBase

Publications of Author

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