David W. Stemple

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