default search action
David W. Stemple
Person information
- affiliation: University of Massachusetts Amherst, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
1990 – 1999
- 1998
- [j16]Graham N. C. Kirby, Ronald Morrison, David W. Stemple:
Linguistic Reflection in Java. Softw. Pract. Exp. 28(10): 1045-1077 (1998) - [i1]Graham N. C. Kirby
, Ronald Morrison, David W. Stemple:
Linguistic Reflection in Java. CoRR cs.PL/9810027 (1998) - 1996
- [j15]Neil Immerman, Sushant Patnaik, David W. Stemple:
The Expressiveness of a Family of Finite Set Languages. Theor. Comput. Sci. 155(1): 111-140 (1996) - 1994
- [j14]Subhasish Mazumdar, David W. Stemple:
Helping the Database Designer Maintain Inegrity Constraints. IEEE Data Eng. Bull. 17(2): 28-32 (1994) - [c36]Klaus-Dieter Schewe, David W. Stemple, Bernhard Thalheim:
Higher-Level Genericity in Object-Oriented Databases. COMAD 1994 - [c35]David S. Munro, Richard C. H. Connor, Ronald Morrison, S. Scheuerl, David W. Stemple:
Concurrent Shadow Paging in the Flask Architecture. POS 1994: 16-42 - 1993
- [j13]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): 173-181 (1993) - [c34]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: 85-95 - 1992
- [j12]Tim Sheard, David W. Stemple:
Inheritance of Theory in the Adabtpl Language. Comput. Lang. 17(3): 157-167 (1992) - [j11]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): 139-143 (1992) - [c33]Leonidas Fegaras, Tim Sheard, David W. Stemple:
Uniform Traversal Combinators: Definition, Use and Properties. CADE 1992: 148-162 - 1991
- [c32]Leonidas Fegaras, David W. Stemple:
Using Type Transformation in Database Implementation. DBPL 1991: 337-353 - [c31]David W. Stemple, Ronald Morrison, Malcolm P. Atkinson:
Type-safe Linguistic Reflection. DBPL 1991: 357-360 - [c30]Neil Immerman, Sushant Patnaik, David W. Stemple:
The Expressiveness of a Family of Finite Set Languages. PODS 1991: 37-52 - 1990
- [j10]Mohammad Dadashzadeh
Converting SQL queries into relational algebra. Inf. Manag. 19(5): 307-323 (1990) - [c29]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: 48-66 - [c28]Panos K. Chrysanthis
A logically distributed approach for structuring office systems. COCS 1990: 11-20 - [c27]David W. Stemple, Leonidas Fegaras, Tim Sheard, Adolfo Socorro:
Exceeding the Limits of Polymorphism in Database Programming Languages. EDBT 1990: 269-285 - [c26]David W. Stemple, Tim Sheard:
A Recursive Base for Database Programming Primitives. East/West Database Workshop 1990: 311-332 - [c25]David W. Stemple:
Transactions - Introduction. POS 1990: 291-292 - [e1]Richard Hull, Ronald Morrison, David W. Stemple:
Proceedings of the Second International Workshop on Database Programming Languages, 4-8 June, 1989, Salishan Lodge, Gleneden Beach, Oregon, USA. Morgan Kaufmann 1990, ISBN 1-55860-072-8 [contents]
1980 – 1989
- 1989
- [j9]Richard Hull, Ronald Morrison, David W. Stemple:
Current Directions in Database Programming Languages. IEEE Data Eng. Bull. 12(3): 3-4 (1989) - [j8]Tim Sheard, David W. Stemple:
Automatic Verification of Database Transaction Safety. ACM Trans. Database Syst. 14(3): 322-368 (1989) - [c24]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: 170-178 - [c23]Leonidas Fegaras, Tim Sheard, David W. Stemple:
The ADABTPL Type System. DBPL 1989: 207-218 - [c22]Stanley B. Zdonik, Toby Bloom, David W. Stemple, Jeannette M. Wing:
Panel on Transactions in Object-Oriented Systems. OOPSLA 1989: 473-476 - [c21]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: 486-490 - [c20]David W. Stemple:
Exploiting the Potential of Persistent Object Stores. POS 1989: 45-55 - 1988
- [c19]Tim Sheard, David W. Stemple:
The precise control of inheritance and the inheritance of theory in the ADABTPL language. ICCL 1988: 194-201 - [c18]David W. Stemple, Adolfo Socorro, Tim Sheard:
Formalizing Objects for Databases using ADABTPL. OODBS 1988: 110-128 - [c17]Subhasish Mazumdar, David W. Stemple, Tim Sheard:
Resolving the Tension between Integrity and Security Using a Theorem Prover. SIGMOD Conference 1988: 233-242 - 1987
- [c16]David W. Stemple, Tim Sheard:
Construction and Calculus of Types for Database Systems. DBPL 1987: 3-22 - [c15]David W. Stemple, Subhasish Mazumdar, Tim Sheard:
On the Modes and Meaning of Feedback to Transaction Designers. SIGMOD Conference 1987: 374-386 - [c14]W. Bruce Croft, David W. Stemple:
Supporting Offics Document Architectures with Constrained Types. SIGMOD Conference 1987: 504-509 - 1986
- [j7]David W. Stemple, Tim Sheard, Ralph E. Bunker:
Incorporating theory into database system development. Inf. Process. Manag. 22(4): 317-330 (1986) - [j6]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): 635-648 (1986) - [j5]David W. Stemple, Stephen Vinter, Krithi Ramamritham:
Functional Addressing in Gutenberg: Interprocess Communication without Process Indentifiers. IEEE Trans. Software Eng. 12(11): 1056-1066 (1986) - [c13]Panos K. Chrysanthis, Krithi Ramamritham, David W. Stemple, Stephen Vinter:
The Gutenberg Operating System Kernel. FJCC 1986: 1159-1167 - [c12]Stephen Vinter, Krithi Ramamritham, David W. Stemple:
Recoverable Actions in Gutenberg. ICDCS 1986: 242-249 - [c11]David W. Stemple, Tim Sheard, Ralph E. Bunker:
Abstract Data Types in Databases: Specification, Manipulation and Access. ICDE 1986: 590-597 - 1985
- [j4]Elliot B. Koffman, David W. Stemple, Caroline E. Wardle:
Recommended Curriculum For CS2, 1984. Commun. ACM 28(8): 815-818 (1985) - [c10]Krithi Ramamritham, David W. Stemple, Stephen Vinter:
Decentralized Access Control in a Distributed System. ICDCS 1985: 524-531 - [c9]David W. Stemple, Tim Sheard:
Database Theory for Supporting Specification-Based Database Systems Development. ICSE 1985: 43-49 - [c8]David W. Stemple, Caroline E. Wardle, Elliot B. Koffman:
Report on CS2 from ACM CS2 committee (panel session). SIGCSE 1985: 178 - [c7]Tim Sheard, David W. Stemple:
Coping with Complexity in Automated Reasoning about Database Systems. VLDB 1985: 426-435 - 1984
- [c6]David W. Stemple, Tim Sheard:
Specification and Verification of Abstract Database Types. PODS 1984: 248-257 - 1983
- [c5]David W. Stemple, Krithi Ramamritham, Stephen Vinter, Tim Sheard:
Operating System Support for Abstract Data(base) Types. ICOD 1983: 179-195 - [c4]Krithi Ramamritham, David W. Stemple, Stephen Vinter:
Primitives for Accessing Protected Objects. Symposium on Reliability in Distributed Software and Database Systems 1983: 114-122 - 1982
- [j3]Charles Welty, David W. Stemple:
Reply. ACM Trans. Database Syst. 7(2): 317-318 (1982) - [c3]David W. Stemple:
Strategies and interfaces. ACM Annual Conference 1982: 158 - 1981
- [j2]Charles Welty, David W. Stemple:
Human Factors Comparison of a Procedural and a Nonprocedural Query Language. ACM Trans. Database Syst. 6(4): 626-649 (1981)
1970 – 1979
- 1976
- [j1]David W. Stemple:
A Data Base Management Facility for Automatic Generation of Data Base Managers. ACM Trans. Database Syst. 1(1): 79-94 (1976) - 1975
- [c2]David W. Stemple:
A Data Base Management Facility for Automatic Generation of Data Base Managers. VLDB 1975: 254 - 1974
- [c1]Robert W. Taylor, David W. Stemple:
On the Development of Data Base Editions. IFIP Working Conference Data Base Management 1974: 295-304
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-09 00:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: