| 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 |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")