1998 |
48 | EE | Graham N. C. Kirby,
Ronald Morrison,
David W. Stemple:
Linguistic Reflection in Java
CoRR cs.PL/9810027: (1998) |
47 | | Graham N. C. Kirby,
Ronald Morrison,
David W. Stemple:
Linguistic Reflection in Java.
Softw., Pract. Exper. 28(10): 1045-1077 (1998) |
1996 |
46 | EE | Neil Immerman,
Sushant Patnaik,
David W. Stemple:
The Expressiveness of a Family of Finite Set Languages.
Theor. Comput. Sci. 155(1): 111-140 (1996) |
1994 |
45 | | Klaus-Dieter Schewe,
David W. Stemple,
Bernhard Thalheim:
Higher-Level Genericity in Object-Oriented Databases.
COMAD 1994: 0- |
44 | EE | David S. Munro,
Richard C. H. Connor,
Ronald Morrison,
S. Scheuerl,
David W. Stemple:
Concurrent Shadow Paging in the Flask Architecture.
POS 1994: 16-42 |
43 | EE | Subhasish Mazumdar,
David W. Stemple:
Helping the Database Designer Maintain Inegrity Constraints.
IEEE Data Eng. Bull. 17(2): 28-32 (1994) |
1993 |
42 | | Janice E. Cuny,
George Forman,
Alfred Hough,
Joydip Kundu,
Calvin Lin,
Lawrence Snyder,
David W. Stemple:
The Ariadne Debugger: Scalable Application of Event-Based Abstraction.
Workshop on Parallel and Distributed Debugging 1993: 85-95 |
1992 |
41 | | Leonidas Fegaras,
Tim Sheard,
David W. Stemple:
Uniform Traversal Combinators: Definition, Use and Properties.
CADE 1992: 148-162 |
40 | | Tim Sheard,
David W. Stemple:
Inheritance of Theory in the Adabtpl Language.
Comput. Lang. 17(3): 157-167 (1992) |
39 | EE | Krithi Ramamritham,
J. Eliot B. Moss,
John A. Stankovic,
David W. Stemple,
W. Bruce Croft,
Donald F. Towsley:
Summary of Database Research Activities at The University of Massachusetts, Amherst.
SIGMOD Record 21(1): 139-143 (1992) |
1991 |
38 | EE | Leonidas Fegaras,
David W. Stemple:
Using Type Transformation in Database Implementation.
DBPL 1991: 337-353 |
37 | EE | David W. Stemple,
Ronald Morrison,
Malcolm P. Atkinson:
Type-safe Linguistic Reflection.
DBPL 1991: 357-360 |
36 | EE | Neil Immerman,
Sushant Patnaik,
David W. Stemple:
The Expressiveness of a Family of Finite Set Languages.
PODS 1991: 37-52 |
1990 |
35 | | Richard Hull,
Ronald Morrison,
David W. Stemple:
Proceedings of the Second International Workshop on Database Programming Languages, 4-8 June, 1989, Salishan Lodge, Gleneden Beach, Oregon
Morgan Kaufmann 1990 |
34 | EE | David W. Stemple,
Leonidas Fegaras,
Tim Sheard,
Adolfo Socorro:
Exceeding the Limits of Polymorphism in Database Programming Languages.
EDBT 1990: 269-285 |
33 | | David W. Stemple,
Tim Sheard:
A Recursive Base for Database Programming Primitives.
East/West Database Workshop 1990: 311-332 |
32 | EE | David W. Stemple:
Transactions - Introduction.
POS 1990: 291-292 |
1989 |
31 | EE | Antonio Albano,
Alan Dearle,
Giorgio Ghelli,
Chris D. Marlin,
Ronald Morrison,
Renzo Orsini,
David W. Stemple:
A Framework for Comparing Type Systems for Database Programming Languages.
DBPL 1989: 170-178 |
30 | EE | Leonidas Fegaras,
Tim Sheard,
David W. Stemple:
The ADABTPL Type System.
DBPL 1989: 207-218 |
29 | | Stanley B. Zdonik,
Toby Bloom,
David W. Stemple,
Jeannette M. Wing:
Panel on Transactions in Object-Oriented Systems.
OOPSLA 1989: 473-476 |
28 | | J. Eliot B. Moss,
Ralf Johnson,
Alan Snyder,
David W. Stemple,
David Ungar:
Panel: Inheritance: Can We Have Our Cake and Eat it, Too?
OOPSLA 1989: 486-490 |
27 | EE | David W. Stemple:
Exploiting the Potential of Persistent Object Stores.
POS 1989: 45-55 |
26 | EE | Tim Sheard,
David W. Stemple:
Automatic Verification of Database Transaction Safety.
ACM Trans. Database Syst. 14(3): 322-368 (1989) |
25 | EE | Richard Hull,
Ronald Morrison,
David W. Stemple:
Current Directions in Database Programming Languages.
IEEE Data Eng. Bull. 12(3): 3-4 (1989) |
1988 |
24 | EE | Tim Sheard,
David W. Stemple:
The precise control of inheritance and the inheritance of theory in the ADABTPL language.
ICCL 1988: 194-201 |
23 | | David W. Stemple,
Adolfo Socorro,
Tim Sheard:
Formalizing Objects for Databases using ADABTPL.
OODBS 1988: 110-128 |
22 | EE | Subhasish Mazumdar,
David W. Stemple,
Tim Sheard:
Resolving the Tension between Integrity and Security Using a Theorem Prover.
SIGMOD Conference 1988: 233-242 |
1987 |
21 | EE | David W. Stemple,
Tim Sheard:
Construction and Calculus of Types for Database Systems.
DBPL 1987: 3-22 |
20 | EE | David W. Stemple,
Subhasish Mazumdar,
Tim Sheard:
On the Modes and Meaning of Feedback to Transaction Designers.
SIGMOD Conference 1987: 374-386 |
19 | EE | W. Bruce Croft,
David W. Stemple:
Supporting Offics Document Architectures with Constrained Types.
SIGMOD Conference 1987: 504-509 |
1986 |
18 | | Panos K. Chrysanthis,
Krithi Ramamritham,
David W. Stemple,
Stephen Vinter:
The Gutenberg Operating System Kernel.
FJCC 1986: 1159-1167 |
17 | | Stephen Vinter,
Krithi Ramamritham,
David W. Stemple:
Recoverable Actions in Gutenberg.
ICDCS 1986: 242-249 |
16 | EE | David W. Stemple,
Tim Sheard,
Ralph E. Bunker:
Abstract Data Types in Databases: Specification, Manipulation and Access.
ICDE 1986: 590-597 |
15 | | David W. Stemple,
Stephen Vinter,
Krithi Ramamritham:
Functional Addressing in Gutenberg: Interprocess Communication without Process Indentifiers.
IEEE Trans. Software Eng. 12(11): 1056-1066 (1986) |
14 | | Krithi Ramamritham,
David W. Stemple,
David A. Briggs,
Stephen Vinter:
Privilege Transfer and Revocation in a Port-Based System.
IEEE Trans. Software Eng. 12(5): 635-648 (1986) |
13 | EE | David W. Stemple,
Tim Sheard,
Ralph E. Bunker:
Incorporating theory into database system development.
Inf. Process. Manage. 22(4): 317-330 (1986) |
1985 |
12 | | Krithi Ramamritham,
David W. Stemple,
Stephen Vinter:
Decentralized Access Control in a Distributed System.
ICDCS 1985: 524-531 |
11 | | David W. Stemple,
Tim Sheard:
Database Theory for Supporting Specification-Based Database Systems Development.
ICSE 1985: 43-49 |
10 | EE | Tim Sheard,
David W. Stemple:
Coping with Complexity in Automated Reasoning about Database Systems.
VLDB 1985: 426-435 |
9 | | Elliot B. Koffman,
David W. Stemple,
Caroline E. Wardle:
Recommended Curriculum For CS2, 1984.
Commun. ACM 28(8): 815-818 (1985) |
1984 |
8 | EE | David W. Stemple,
Tim Sheard:
Specification and Verification of Abstract Database Types.
PODS 1984: 248-257 |
1983 |
7 | | David W. Stemple,
Krithi Ramamritham,
Stephen Vinter,
Tim Sheard:
Operating System Support for Abstract Data(base) Types.
ICOD 1983: 179-195 |
6 | | Krithi Ramamritham,
David W. Stemple,
Stephen Vinter:
Primitives for Accessing Protected Objects.
Symposium on Reliability in Distributed Software and Database Systems 1983: 114-122 |
1982 |
5 | EE | Charles Welty,
David W. Stemple:
Reply.
ACM Trans. Database Syst. 7(2): 317-318 (1982) |
1981 |
4 | EE | Charles Welty,
David W. Stemple:
Human Factors Comparison of a Procedural and a Nonprocedural Query Language.
ACM Trans. Database Syst. 6(4): 626-649 (1981) |
1976 |
3 | EE | David W. Stemple:
A Data Base Management Facility for Automatic Generation of Data Base Managers.
ACM Trans. Database Syst. 1(1): 79-94 (1976) |
1975 |
2 | EE | David W. Stemple:
A Data Base Management Facility for Automatic Generation of Data Base Managers.
VLDB 1975: 254 |
1974 |
1 | | Robert W. Taylor,
David W. Stemple:
On the Development of Data Base Editions.
IFIP Working Conference Data Base Management 1974: 295-304 |