David W. Stemple

According to our database, David W. Stemple authored at least 50 papers between 1974 and 1998.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

1998

Linguistic Reflection in Java.

Graham N. C. Kirby, Ronald Morrison, David W. Stemple

Softw. Pract. Exp., 1998

1996

The Expressiveness of a Family of Finite Set Languages.

Neil Immerman, Sushant Patnaik, David W. Stemple

Theor. Comput. Sci., 1996

1994

Helping the Database Designer Maintain Inegrity Constraints.

Subhasish Mazumdar, David W. Stemple

IEEE Data Eng. Bull., 1994

Concurrent Shadow Paging in the Flask Architecture.

David S. Munro, Richard C. H. Connor, Ronald Morrison, S. Scheuerl, David W. Stemple

Proceedings of the Persistent Object Systems, 1994

Higher-Level Genericity in Object-Oriented Databases.

Klaus-Dieter Schewe, David W. Stemple, Bernhard Thalheim

Proceedings of the Sixth International Conference on Management of Data, 1994

1993

Mechanisms for controlling evolution in persistent object systems.

Ronald Morrison, Richard C. H. Connor, Quintin I. Cutts, Graham N. C. Kirby, David W. Stemple

Microprocess. Microsystems, 1993

The Ariadne Debugger: Scalable Application of Event-Based Abstraction.

Janice E. Cuny, George Forman, Alfred Hough, Joydip Kundu, Calvin Lin, Lawrence Snyder, David W. Stemple

Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, 1993

1992

Summary of Database Research Activities at The University of Massachusetts, Amherst.

Krithi Ramamritham, J. Eliot B. Moss, John A. Stankovic, David W. Stemple, W. Bruce Croft, Donald F. Towsley

SIGMOD Rec., 1992

Inheritance of Theory in the Adabtpl Language.

Tim Sheard, David W. Stemple

Comput. Lang., 1992

Uniform Traversal Combinators: Definition, Use and Properties.

Leonidas Fegaras, Tim Sheard, David W. Stemple

Proceedings of the Automated Deduction, 1992

1991

Type-safe Linguistic Reflection.

David W. Stemple, Ronald Morrison, Malcolm P. Atkinson

Proceedings of the Database Programming Languages: Bulk Types and Persistent Data. 3rd International Workshop, 1991

Using Type Transformation in Database Implementation.

Leonidas Fegaras, David W. Stemple

Proceedings of the Database Programming Languages: Bulk Types and Persistent Data. 3rd International Workshop, 1991

1990

Converting SQL queries into relational algebra.

Mohammad Dadashzadeh, David W. Stemple

Inf. Manag., 1990

Transactions - Introduction.

David W. Stemple

Proceedings of the Implementing Persistent Object Bases, 1990

A Recursive Base for Database Programming Primitives.

David W. Stemple, Tim Sheard

Proceedings of the Next Generation Information System Technology, 1990

Exceeding the Limits of Polymorphism in Database Programming Languages.

David W. Stemple, Leonidas Fegaras, Tim Sheard, Adolfo Socorro

Proceedings of the Advances in Database Technology, 1990

A logically distributed approach for structuring office systems.

Panos K. Chrysanthis, David W. Stemple, Krithi Ramamritham

Proceedings of the ACM SIGOIS and IEEE CS TC-OA Conference on Office Information Systems, 1990

Protection in Persistent Object Systems.

Ronald Morrison, Alfred L. Brown, Richard C. H. Connor, Quintin I. Cutts, Graham N. C. Kirby, Alan Dearle, John Rosenberg, David W. Stemple

Proceedings of the Security and Persistence, 1990

1989

Automatic Verification of Database Transaction Safety.

Tim Sheard, David W. Stemple

ACM Trans. Database Syst., 1989

Current Directions in Database Programming Languages.

Richard Hull, Ronald Morrison, David W. Stemple

IEEE Data Eng. Bull., 1989

Exploiting the Potential of Persistent Object Stores.

David W. Stemple

Proceedings of the Persistent Object Systems, 1989

Panel on Transactions in Object-Oriented Systems.

Stanley B. Zdonik, Toby Bloom, David W. Stemple, Jeannette M. Wing

Proceedings of the Conference on Object-Oriented Programming: Systems, 1989

Panel: Inheritance: Can We Have Our Cake and Eat it, Too?

J. Eliot B. Moss, Ralf Johnson, Alan Snyder, David W. Stemple, David M. Ungar

Proceedings of the Conference on Object-Oriented Programming: Systems, 1989

The ADABTPL Type System.

Leonidas Fegaras, Tim Sheard, David W. Stemple

Proceedings of the Second International Workshop on Database Programming Languages, 1989

A Framework for Comparing Type Systems for Database Programming Languages.

Antonio Albano, Alan Dearle, Giorgio Ghelli, Chris D. Marlin, Ronald Morrison, Renzo Orsini, David W. Stemple

Proceedings of the Second International Workshop on Database Programming Languages, 1989

1988

Resolving the Tension between Integrity and Security Using a Theorem Prover.

Subhasish Mazumdar, David W. Stemple, Tim Sheard

Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data, 1988

Formalizing Objects for Databases using ADABTPL.

David W. Stemple, Adolfo Socorro, Tim Sheard

Proceedings of the Advances in Object-Oriented Database Systems, 1988

The precise control of inheritance and the inheritance of theory in the ADABTPL language.

Tim Sheard, David W. Stemple

Proceedings of the 1988 Internation Conference on Computer Languages, 1988

1987

On the Modes and Meaning of Feedback to Transaction Designers.

David W. Stemple, Subhasish Mazumdar, Tim Sheard

Proceedings of the Association for Computing Machinery Special Interest Group on Management of Data 1987 Annual Conference, 1987

Supporting Offics Document Architectures with Constrained Types.

W. Bruce Croft, David W. Stemple

Proceedings of the Association for Computing Machinery Special Interest Group on Management of Data 1987 Annual Conference, 1987

Construction and Calculus of Types for Database Systems.

David W. Stemple, Tim Sheard

Proceedings of the Advances in Database Programming Languages, 1987

1986

Functional Addressing in Gutenberg: Interprocess Communication without Process Indentifiers.

David W. Stemple, Stephen Vinter, Krithi Ramamritham

IEEE Trans. Software Eng., 1986

Privilege Transfer and Revocation in a Port-Based System.

Krithi Ramamritham, David W. Stemple, David A. Briggs, Stephen Vinter

IEEE Trans. Software Eng., 1986

Incorporating theory into database system development.

David W. Stemple, Tim Sheard, Ralph E. Bunker

Inf. Process. Manag., 1986

Abstract Data Types in Databases: Specification, Manipulation and Access.

David W. Stemple, Tim Sheard, Ralph E. Bunker

Proceedings of the Second International Conference on Data Engineering, 1986

Recoverable Actions in Gutenberg.

Stephen Vinter, Krithi Ramamritham, David W. Stemple

Proceedings of the 6th International Conference on Distributed Computing Systems, 1986

The Gutenberg Operating System Kernel.

Panos K. Chrysanthis, Krithi Ramamritham, David W. Stemple, Stephen Vinter

Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA, 1986

1985

Recommended Curriculum For CS2, 1984.

Elliot B. Koffman, David W. Stemple, Caroline E. Wardle

Commun. ACM, 1985

Coping with Complexity in Automated Reasoning about Database Systems.

Tim Sheard, David W. Stemple

Proceedings of the VLDB'85, 1985

Report on CS2 from ACM CS2 committee (panel session).

David W. Stemple, Caroline E. Wardle, Elliot B. Koffman

Proceedings of the 16th SIGCSE Technical Symposium on Computer Science Education, 1985

Database Theory for Supporting Specification-Based Database Systems Development.

David W. Stemple, Tim Sheard

Proceedings of the Proceedings, 1985

Decentralized Access Control in a Distributed System.

Krithi Ramamritham, David W. Stemple, Stephen Vinter

Proceedings of the 5th International Conference on Distributed Computing Systems, 1985

1984

Specification and Verification of Abstract Database Types.

David W. Stemple, Tim Sheard

Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1984

1983

Primitives for Accessing Protected Objects.

Krithi Ramamritham, David W. Stemple, Stephen Vinter

Proceedings of the Third Symposium on Reliability in Distributed Software and Database Systems, 1983

Operating System Support for Abstract Data(base) Types.

David W. Stemple, Krithi Ramamritham, Stephen Vinter, Tim Sheard

Proceedings of the Second International Conference On Databases, 1983

1982

Reply.

Charles Welty, David W. Stemple

ACM Trans. Database Syst., 1982

Strategies and interfaces.

David W. Stemple

Proceedings of the ACM 1982 Annual Conference, Dallas, TX, USA, October 25-27, 1982, 1982

1981

Human Factors Comparison of a Procedural and a Nonprocedural Query Language.

Charles Welty, David W. Stemple

ACM Trans. Database Syst., 1981

1976

A Data Base Management Facility for Automatic Generation of Data Base Managers.

David W. Stemple

ACM Trans. Database Syst., 1976

1974

On the Development of Data Base Editions.

Robert W. Taylor, David W. Stemple

Proceedings of the Data Base Management, 1974