| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Graham N. C. Kirby, Ronald Morrison, David W. Stemple |
Linguistic Reflection in Java.  |
Softw., Pract. Exper.  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Graham N. C. Kirby, Ronald Morrison, David W. Stemple |
Linguistic Reflection in Java  |
CoRR  |
1998 |
DBLP BibTeX RDF |
|
| 1 | Neil Immerman, Sushant Patnaik, David W. Stemple |
The Expressiveness of a Family of Finite Set Languages.  |
Theor. Comput. Sci.  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Subhasish Mazumdar, David W. Stemple |
Helping the Database Designer Maintain Inegrity Constraints.  |
IEEE Data Eng. Bull.  |
1994 |
DBLP BibTeX RDF |
|
| 1 | David S. Munro, Richard C. H. Connor, Ronald Morrison, S. Scheuerl, David W. Stemple |
Concurrent Shadow Paging in the Flask Architecture.  |
POS  |
1994 |
DBLP BibTeX RDF |
|
| 1 | Klaus-Dieter Schewe, David W. Stemple, Bernhard Thalheim |
Higher-Level Genericity in Object-Oriented Databases.  |
COMAD  |
1994 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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  |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Sheard, David W. Stemple |
Inheritance of Theory in the Adabtpl Language.  |
Comput. Lang.  |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonidas Fegaras, Tim Sheard, David W. Stemple |
Uniform Traversal Combinators: Definition, Use and Properties.  |
CADE  |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonidas Fegaras, David W. Stemple |
Using Type Transformation in Database Implementation.  |
DBPL  |
1991 |
DBLP BibTeX RDF |
|
| 1 | David W. Stemple, Ronald Morrison, Malcolm P. Atkinson |
Type-safe Linguistic Reflection.  |
DBPL  |
1991 |
DBLP BibTeX RDF |
|
| 1 | Neil Immerman, Sushant Patnaik, David W. Stemple |
The Expressiveness of a Family of Finite Set Languages.  |
PODS  |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Dadashzadeh, David W. Stemple |
Converting SQL queries into relational algebra.  |
Information & Management  |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | David W. Stemple, Leonidas Fegaras, Tim Sheard, Adolfo Socorro |
Exceeding the Limits of Polymorphism in Database Programming Languages.  |
EDBT  |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | David W. Stemple |
Transactions - Introduction.  |
POS  |
1990 |
DBLP BibTeX RDF |
|
| 1 | 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  |
|
1990 |
DBLP BibTeX RDF |
|
| 1 | David W. Stemple, Tim Sheard |
A Recursive Base for Database Programming Primitives.  |
East/West Database Workshop  |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Sheard, David W. Stemple |
Automatic Verification of Database Transaction Safety.  |
ACM Trans. Database Syst.  |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Hull, Ronald Morrison, David W. Stemple |
Current Directions in Database Programming Languages.  |
IEEE Data Eng. Bull.  |
1989 |
DBLP BibTeX RDF |
|
| 1 | Stanley B. Zdonik, Toby Bloom, David W. Stemple, Jeannette M. Wing |
Panel on Transactions in Object-Oriented Systems.  |
OOPSLA  |
1989 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | David W. Stemple |
Exploiting the Potential of Persistent Object Stores.  |
POS  |
1989 |
DBLP BibTeX RDF |
|
| 1 | Leonidas Fegaras, Tim Sheard, David W. Stemple |
The ADABTPL Type System.  |
DBPL  |
1989 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Subhasish Mazumdar, David W. Stemple, Tim Sheard |
Resolving the Tension between Integrity and Security Using a Theorem Prover.  |
SIGMOD Conference  |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Sheard, David W. Stemple |
The precise control of inheritance and the inheritance of theory in the ADABTPL language.  |
ICCL  |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | David W. Stemple, Adolfo Socorro, Tim Sheard |
Formalizing Objects for Databases using ADABTPL.  |
OODBS  |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | W. Bruce Croft, David W. Stemple |
Supporting Offics Document Architectures with Constrained Types.  |
SIGMOD Conference  |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | David W. Stemple, Subhasish Mazumdar, Tim Sheard |
On the Modes and Meaning of Feedback to Transaction Designers.  |
SIGMOD Conference  |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | David W. Stemple, Tim Sheard |
Construction and Calculus of Types for Database Systems.  |
DBPL  |
1987 |
DBLP BibTeX RDF |
|
| 1 | David W. Stemple, Stephen Vinter, Krithi Ramamritham |
Functional Addressing in Gutenberg: Interprocess Communication without Process Indentifiers.  |
IEEE Trans. Software Eng.  |
1986 |
DBLP BibTeX RDF |
|
| 1 | Krithi Ramamritham, David W. Stemple, David A. Briggs, Stephen Vinter |
Privilege Transfer and Revocation in a Port-Based System.  |
IEEE Trans. Software Eng.  |
1986 |
DBLP BibTeX RDF |
|
| 1 | David W. Stemple, Tim Sheard, Ralph E. Bunker |
Incorporating theory into database system development.  |
Inf. Process. Manage.  |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | David W. Stemple, Tim Sheard, Ralph E. Bunker |
Abstract Data Types in Databases: Specification, Manipulation and Access.  |
ICDE  |
1986 |
DBLP BibTeX RDF |
|
| 1 | Panos K. Chrysanthis, Krithi Ramamritham, David W. Stemple, Stephen Vinter |
The Gutenberg Operating System Kernel.  |
FJCC  |
1986 |
DBLP BibTeX RDF |
|
| 1 | Stephen Vinter, Krithi Ramamritham, David W. Stemple |
Recoverable Actions in Gutenberg.  |
ICDCS  |
1986 |
DBLP BibTeX RDF |
|
| 1 | Elliot B. Koffman, David W. Stemple, Caroline E. Wardle |
Recommended Curriculum For CS2, 1984.  |
Commun. ACM  |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Sheard, David W. Stemple |
Coping with Complexity in Automated Reasoning about Database Systems.  |
VLDB  |
1985 |
DBLP BibTeX RDF |
|
| 1 | Krithi Ramamritham, David W. Stemple, Stephen Vinter |
Decentralized Access Control in a Distributed System.  |
ICDCS  |
1985 |
DBLP BibTeX RDF |
|
| 1 | David W. Stemple, Tim Sheard |
Database Theory for Supporting Specification-Based Database Systems Development.  |
ICSE  |
1985 |
DBLP BibTeX RDF |
|
| 1 | David W. Stemple, Tim Sheard |
Specification and Verification of Abstract Database Types.  |
PODS  |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | David W. Stemple, Krithi Ramamritham, Stephen Vinter, Tim Sheard |
Operating System Support for Abstract Data(base) Types.  |
ICOD  |
1983 |
DBLP BibTeX RDF |
|
| 1 | Krithi Ramamritham, David W. Stemple, Stephen Vinter |
Primitives for Accessing Protected Objects.  |
Symposium on Reliability in Distributed Software and Database Systems  |
1983 |
DBLP BibTeX RDF |
|
| 1 | Charles Welty, David W. Stemple |
Reply.  |
ACM Trans. Database Syst.  |
1982 |
DBLP BibTeX RDF |
|
| 1 | Charles Welty, David W. Stemple |
Human Factors Comparison of a Procedural and a Nonprocedural Query Language.  |
ACM Trans. Database Syst.  |
1981 |
DBLP DOI BibTeX RDF |
procedural and nonprocedural languages, human factors, query languages, database systems |
| 1 | David W. Stemple |
A Data Base Management Facility for Automatic Generation of Data Base Managers.  |
ACM Trans. Database Syst.  |
1976 |
DBLP DOI BibTeX RDF |
database mangement systems, data independence, make |
| 1 | David W. Stemple |
A Data Base Management Facility for Automatic Generation of Data Base Managers.  |
VLDB  |
1975 |
DBLP BibTeX RDF |
|
| 1 | Robert W. Taylor, David W. Stemple |
On the Development of Data Base Editions.  |
IFIP Working Conference Data Base Management  |
1974 |
DBLP BibTeX RDF |
|