David W. Stemple

Publication Activity (10 Years)

Years Active: 1974-1998
Publications (10 Years): 0

Publications

Graham N. C. Kirby, Ronald Morrison, David W. Stemple
Linguistic Reflection in Java CoRR (1998)
Graham N. C. Kirby, Ronald Morrison, David W. Stemple
Linguistic Reflection in Java. Softw. Pract. Exp. 28 (10) (1998)
Neil Immerman, Sushant Patnaik, David W. Stemple
The Expressiveness of a Family of Finite Set Languages. Theor. Comput. Sci. 155 (1) (1996)
David S. Munro, Richard C. H. Connor, Ronald Morrison, S. Scheuerl, David W. Stemple
Concurrent Shadow Paging in the Flask Architecture. POS (1994)
Klaus-Dieter Schewe, David W. Stemple, Bernhard Thalheim
Higher-Level Genericity in Object-Oriented Databases. COMAD (1994)
Subhasish Mazumdar, David W. Stemple
Helping the Database Designer Maintain Inegrity Constraints. IEEE Data Eng. Bull. 17 (2) (1994)
Ronald Morrison, Richard C. H. Connor, Quintin I. Cutts, Graham N. C. Kirby, David W. Stemple
Mechanisms for controlling evolution in persistent object systems. Microprocess. Microsystems 17 (3) (1993)
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)
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 Rec. 21 (1) (1992)
Tim Sheard, David W. Stemple
Inheritance of Theory in the Adabtpl Language. Comput. Lang. 17 (3) (1992)
Leonidas Fegaras, Tim Sheard, David W. Stemple
Uniform Traversal Combinators: Definition, Use and Properties. CADE (1992)
Neil Immerman, Sushant Patnaik, David W. Stemple
The Expressiveness of a Family of Finite Set Languages. PODS (1991)
David W. Stemple, Ronald Morrison, Malcolm P. Atkinson
Type-safe Linguistic Reflection. DBPL (1991)
Leonidas Fegaras, David W. Stemple
Using Type Transformation in Database Implementation. DBPL (1991)
Mohammad Dadashzadeh, David W. Stemple
Converting SQL queries into relational algebra. Inf. Manag. 19 (5) (1990)
David W. Stemple, Leonidas Fegaras, Tim Sheard, Adolfo Socorro
Exceeding the Limits of Polymorphism in Database Programming Languages. EDBT (1990)
David W. Stemple, Tim Sheard
A Recursive Base for Database Programming Primitives. East/West Database Workshop (1990)
Panos K. Chrysanthis, David W. Stemple, Krithi Ramamritham
A logically distributed approach for structuring office systems. COCS (1990)
David W. Stemple
Transactions - Introduction. POS (1990)
Ronald Morrison, Alfred L. Brown, Richard C. H. Connor, Quintin I. Cutts, Graham N. C. Kirby, Alan Dearle, John Rosenberg, David W. Stemple
Protection in Persistent Object Systems. Security and Persistence (1990)
Stanley B. Zdonik, Toby Bloom, David W. Stemple, Jeannette M. Wing
Panel on Transactions in Object-Oriented Systems. OOPSLA (1989)
David W. Stemple
Exploiting the Potential of Persistent Object Stores. POS (1989)
Tim Sheard, David W. Stemple
Automatic Verification of Database Transaction Safety. ACM Trans. Database Syst. 14 (3) (1989)
Richard Hull, Ronald Morrison, David W. Stemple
Current Directions in Database Programming Languages. IEEE Data Eng. Bull. 12 (3) (1989)
J. Eliot B. Moss, Ralf Johnson, Alan Snyder, David W. Stemple, David M. Ungar
Panel: Inheritance: Can We Have Our Cake and Eat it, Too? OOPSLA (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)
Leonidas Fegaras, Tim Sheard, David W. Stemple
The ADABTPL Type System. DBPL (1989)
Tim Sheard, David W. Stemple
The precise control of inheritance and the inheritance of theory in the ADABTPL language. ICCL (1988)
David W. Stemple, Adolfo Socorro, Tim Sheard
Formalizing Objects for Databases using ADABTPL. OODBS (1988)
Subhasish Mazumdar, David W. Stemple, Tim Sheard
Resolving the Tension between Integrity and Security Using a Theorem Prover. SIGMOD Conference (1988)
David W. Stemple, Subhasish Mazumdar, Tim Sheard
On the Modes and Meaning of Feedback to Transaction Designers. SIGMOD Conference (1987)
David W. Stemple, Tim Sheard
Construction and Calculus of Types for Database Systems. DBPL (1987)
W. Bruce Croft, David W. Stemple
Supporting Offics Document Architectures with Constrained Types. SIGMOD Conference (1987)
David W. Stemple, Tim Sheard, Ralph E. Bunker
Incorporating theory into database system development. Inf. Process. Manag. 22 (4) (1986)
David W. Stemple, Stephen Vinter, Krithi Ramamritham
Functional Addressing in Gutenberg: Interprocess Communication without Process Indentifiers. IEEE Trans. Software Eng. 12 (11) (1986)
David W. Stemple, Tim Sheard, Ralph E. Bunker
Abstract Data Types in Databases: Specification, Manipulation and Access. ICDE (1986)
Stephen Vinter, Krithi Ramamritham, David W. Stemple
Recoverable Actions in Gutenberg. ICDCS (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) (1986)
Panos K. Chrysanthis, Krithi Ramamritham, David W. Stemple, Stephen Vinter
The Gutenberg Operating System Kernel. FJCC (1986)
Tim Sheard, David W. Stemple
Coping with Complexity in Automated Reasoning about Database Systems. VLDB (1985)
Krithi Ramamritham, David W. Stemple, Stephen Vinter
Decentralized Access Control in a Distributed System. ICDCS (1985)
David W. Stemple, Caroline E. Wardle, Elliot B. Koffman
Report on CS2 from ACM CS2 committee (panel session). SIGCSE (1985)
Elliot B. Koffman, David W. Stemple, Caroline E. Wardle
Recommended Curriculum For CS2, 1984. Commun. ACM 28 (8) (1985)
David W. Stemple, Tim Sheard
Database Theory for Supporting Specification-Based Database Systems Development. ICSE (1985)
David W. Stemple, Tim Sheard
Specification and Verification of Abstract Database Types. PODS (1984)
Krithi Ramamritham, David W. Stemple, Stephen Vinter
Primitives for Accessing Protected Objects. Symposium on Reliability in Distributed Software and Database Systems (1983)
David W. Stemple, Krithi Ramamritham, Stephen Vinter, Tim Sheard
Operating System Support for Abstract Data(base) Types. ICOD (1983)
Charles Welty, David W. Stemple
Reply. ACM Trans. Database Syst. 7 (2) (1982)
David W. Stemple
Strategies and interfaces. ACM Annual Conference (1982)
Charles Welty, David W. Stemple
Human Factors Comparison of a Procedural and a Nonprocedural Query Language. ACM Trans. Database Syst. 6 (4) (1981)
David W. Stemple
A Data Base Management Facility for Automatic Generation of Data Base Managers. ACM Trans. Database Syst. 1 (1) (1976)
David W. Stemple
A Data Base Management Facility for Automatic Generation of Data Base Managers. VLDB (1975)
Robert W. Taylor, David W. Stemple
On the Development of Data Base Editions. IFIP Working Conference Data Base Management (1974)