David W. Stemple

Graham N. C. Kirby, Ronald Morrison, David W. Stemple: Linguistic Reflection in Java. Softw., Pract. Exper. 28(10): 1045-1077 (1998)

Graham N. C. Kirby, Ronald Morrison, David W. Stemple: Linguistic Reflection in Java. CoRR cs.PL/9810027 (1998)

Neil Immerman, Sushant Patnaik, David W. Stemple: The Expressiveness of a Family of Finite Set Languages. Theor. Comput. Sci. 155(1): 111-140 (1996)

Subhasish Mazumdar, David W. Stemple: Helping the Database Designer Maintain Inegrity Constraints. IEEE Data Eng. Bull. 17(2): 28-32 (1994)

Klaus-Dieter Schewe, David W. Stemple, Bernhard Thalheim: Higher-Level Genericity in Object-Oriented Databases. COMAD 1994: 0-

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

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

Tim Sheard, David W. Stemple: Inheritance of Theory in the Adabtpl Language. Comput. Lang. 17(3): 157-167 (1992)

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)

Leonidas Fegaras, Tim Sheard, David W. Stemple: Uniform Traversal Combinators: Definition, Use and Properties. CADE 1992: 148-162

Leonidas Fegaras, David W. Stemple: Using Type Transformation in Database Implementation. DBPL 1991: 337-353

David W. Stemple, Ronald Morrison, Malcolm P. Atkinson: Type-safe Linguistic Reflection. DBPL 1991: 357-360

Neil Immerman, Sushant Patnaik, David W. Stemple: The Expressiveness of a Family of Finite Set Languages. PODS 1991: 37-52

Mohammad Dadashzadeh, David W. Stemple: Converting SQL queries into relational algebra. Information & Management 19(5): 307-323 (1990)

David W. Stemple, Leonidas Fegaras, Tim Sheard, Adolfo Socorro: Exceeding the Limits of Polymorphism in Database Programming Languages. EDBT 1990: 269-285

David W. Stemple, Tim Sheard: A Recursive Base for Database Programming Primitives. East/West Database Workshop 1990: 311-332

David W. Stemple: Transactions - Introduction. POS 1990: 291-292

Richard Hull, Ronald Morrison, David W. Stemple (Eds.): Proceedings of the Second International Workshop on Database Programming Languages, 4-8 June, 1989, Salishan Lodge, Gleneden Beach, Oregon. Morgan Kaufmann 1990, isbn 1-55860-072-8

Richard Hull, Ronald Morrison, David W. Stemple: Current Directions in Database Programming Languages. IEEE Data Eng. Bull. 12(3): 3-4 (1989)

Tim Sheard, David W. Stemple: Automatic Verification of Database Transaction Safety. ACM Trans. Database Syst. 14(3): 322-368 (1989)

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

Leonidas Fegaras, Tim Sheard, David W. Stemple: The ADABTPL Type System. DBPL 1989: 207-218

Stanley B. Zdonik, Toby Bloom, David W. Stemple, Jeannette M. Wing: Panel on Transactions in Object-Oriented Systems. OOPSLA 1989: 473-476

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

David W. Stemple: Exploiting the Potential of Persistent Object Stores. POS 1989: 45-55

Tim Sheard, David W. Stemple: The precise control of inheritance and the inheritance of theory in the ADABTPL language. ICCL 1988: 194-201

David W. Stemple, Adolfo Socorro, Tim Sheard: Formalizing Objects for Databases using ADABTPL. OODBS 1988: 110-128

Subhasish Mazumdar, David W. Stemple, Tim Sheard: Resolving the Tension between Integrity and Security Using a Theorem Prover. SIGMOD Conference 1988: 233-242

David W. Stemple, Tim Sheard: Construction and Calculus of Types for Database Systems. DBPL 1987: 3-22

David W. Stemple, Subhasish Mazumdar, Tim Sheard: On the Modes and Meaning of Feedback to Transaction Designers. SIGMOD Conference 1987: 374-386

W. Bruce Croft, David W. Stemple: Supporting Offics Document Architectures with Constrained Types. SIGMOD Conference 1987: 504-509

David W. Stemple, Tim Sheard, Ralph E. Bunker: Incorporating theory into database system development. Inf. Process. Manage. 22(4): 317-330 (1986)

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)

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)

Panos K. Chrysanthis, Krithi Ramamritham, David W. Stemple, Stephen Vinter: The Gutenberg Operating System Kernel. FJCC 1986: 1159-1167

Stephen Vinter, Krithi Ramamritham, David W. Stemple: Recoverable Actions in Gutenberg. ICDCS 1986: 242-249

David W. Stemple, Tim Sheard, Ralph E. Bunker: Abstract Data Types in Databases: Specification, Manipulation and Access. ICDE 1986: 590-597

Elliot B. Koffman, David W. Stemple, Caroline E. Wardle: Recommended Curriculum For CS2, 1984. Commun. ACM 28(8): 815-818 (1985)

Krithi Ramamritham, David W. Stemple, Stephen Vinter: Decentralized Access Control in a Distributed System. ICDCS 1985: 524-531

David W. Stemple, Tim Sheard: Database Theory for Supporting Specification-Based Database Systems Development. ICSE 1985: 43-49

Tim Sheard, David W. Stemple: Coping with Complexity in Automated Reasoning about Database Systems. VLDB 1985: 426-435

David W. Stemple, Tim Sheard: Specification and Verification of Abstract Database Types. PODS 1984: 248-257

David W. Stemple, Krithi Ramamritham, Stephen Vinter, Tim Sheard: Operating System Support for Abstract Data(base) Types. ICOD 1983: 179-195

Krithi Ramamritham, David W. Stemple, Stephen Vinter: Primitives for Accessing Protected Objects. Symposium on Reliability in Distributed Software and Database Systems 1983: 114-122

Charles Welty, David W. Stemple: Reply. ACM Trans. Database Syst. 7(2): 317-318 (1982)

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)

David W. Stemple: A Data Base Management Facility for Automatic Generation of Data Base Managers. ACM Trans. Database Syst. 1(1): 79-94 (1976)

David W. Stemple: A Data Base Management Facility for Automatic Generation of Data Base Managers. VLDB 1975: 254

Robert W. Taylor, David W. Stemple: On the Development of Data Base Editions. IFIP Working Conference Data Base Management 1974: 295-304