dblp.uni-trier.dewww.uni-trier.de

David W. Stemple Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*1998
48EEGraham N. C. Kirby, Ronald Morrison, David W. Stemple: Linguistic Reflection in Java CoRR cs.PL/9810027: (1998)
47 Graham N. C. Kirby, Ronald Morrison, David W. Stemple: Linguistic Reflection in Java. Softw., Pract. Exper. 28(10): 1045-1077 (1998)
1996
46EENeil Immerman, Sushant Patnaik, David W. Stemple: The Expressiveness of a Family of Finite Set Languages. Theor. Comput. Sci. 155(1): 111-140 (1996)
1994
45 Klaus-Dieter Schewe, David W. Stemple, Bernhard Thalheim: Higher-Level Genericity in Object-Oriented Databases. COMAD 1994: 0-
44EEDavid S. Munro, Richard C. H. Connor, Ronald Morrison, S. Scheuerl, David W. Stemple: Concurrent Shadow Paging in the Flask Architecture. POS 1994: 16-42
43EESubhasish Mazumdar, David W. Stemple: Helping the Database Designer Maintain Inegrity Constraints. IEEE Data Eng. Bull. 17(2): 28-32 (1994)
1993
42 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
41EELeonidas Fegaras, Tim Sheard, David W. Stemple: Uniform Traversal Combinators: Definition, Use and Properties. CADE 1992: 148-162
40 Tim Sheard, David W. Stemple: Inheritance of Theory in the Adabtpl Language. Comput. Lang. 17(3): 157-167 (1992)
39EEKrithi 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 21(1): 139-143 (1992)
1991
38EELeonidas Fegaras, David W. Stemple: Using Type Transformation in Database Implementation. DBPL 1991: 337-353
37EEDavid W. Stemple, Ronald Morrison, Malcolm P. Atkinson: Type-safe Linguistic Reflection. DBPL 1991: 357-360
36EENeil Immerman, Sushant Patnaik, David W. Stemple: The Expressiveness of a Family of Finite Set Languages. PODS 1991: 37-52
1990
35 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 Morgan Kaufmann 1990
34EEDavid W. Stemple, Leonidas Fegaras, Tim Sheard, Adolfo Socorro: Exceeding the Limits of Polymorphism in Database Programming Languages. EDBT 1990: 269-285
33EEDavid W. Stemple, Tim Sheard: A Recursive Base for Database Programming Primitives. East/West Database Workshop 1990: 311-332
32EEDavid W. Stemple: Transactions - Introduction. POS 1990: 291-292
1989
31EEAntonio 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
30EELeonidas Fegaras, Tim Sheard, David W. Stemple: The ADABTPL Type System. DBPL 1989: 207-218
29 Stanley B. Zdonik, Toby Bloom, David W. Stemple, Jeannette M. Wing: Panel on Transactions in Object-Oriented Systems. OOPSLA 1989: 473-476
28 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: 486-490
27EEDavid W. Stemple: Exploiting the Potential of Persistent Object Stores. POS 1989: 45-55
26EETim Sheard, David W. Stemple: Automatic Verification of Database Transaction Safety. ACM Trans. Database Syst. 14(3): 322-368 (1989)
25EERichard Hull, Ronald Morrison, David W. Stemple: Current Directions in Database Programming Languages. IEEE Data Eng. Bull. 12(3): 3-4 (1989)
1988
24EETim Sheard, David W. Stemple: The precise control of inheritance and the inheritance of theory in the ADABTPL language. ICCL 1988: 194-201
23 David W. Stemple, Adolfo Socorro, Tim Sheard: Formalizing Objects for Databases using ADABTPL. OODBS 1988: 110-128
22EESubhasish Mazumdar, David W. Stemple, Tim Sheard: Resolving the Tension between Integrity and Security Using a Theorem Prover. SIGMOD Conference 1988: 233-242
1987
21EEDavid W. Stemple, Tim Sheard: Construction and Calculus of Types for Database Systems. DBPL 1987: 3-22
20EEDavid W. Stemple, Subhasish Mazumdar, Tim Sheard: On the Modes and Meaning of Feedback to Transaction Designers. SIGMOD Conference 1987: 374-386
19EEW. Bruce Croft, David W. Stemple: Supporting Offics Document Architectures with Constrained Types. SIGMOD Conference 1987: 504-509
1986
18 Panos K. Chrysanthis, Krithi Ramamritham, David W. Stemple, Stephen Vinter: The Gutenberg Operating System Kernel. FJCC 1986: 1159-1167
17 Stephen Vinter, Krithi Ramamritham, David W. Stemple: Recoverable Actions in Gutenberg. ICDCS 1986: 242-249
16EEDavid W. Stemple, Tim Sheard, Ralph E. Bunker: Abstract Data Types in Databases: Specification, Manipulation and Access. ICDE 1986: 590-597
15 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)
14 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)
13EEDavid W. Stemple, Tim Sheard, Ralph E. Bunker: Incorporating theory into database system development. Inf. Process. Manage. 22(4): 317-330 (1986)
1985
12 Krithi Ramamritham, David W. Stemple, Stephen Vinter: Decentralized Access Control in a Distributed System. ICDCS 1985: 524-531
11 David W. Stemple, Tim Sheard: Database Theory for Supporting Specification-Based Database Systems Development. ICSE 1985: 43-49
10EETim Sheard, David W. Stemple: Coping with Complexity in Automated Reasoning about Database Systems. VLDB 1985: 426-435
9 Elliot B. Koffman, David W. Stemple, Caroline E. Wardle: Recommended Curriculum For CS2, 1984. Commun. ACM 28(8): 815-818 (1985)
1984
8EEDavid W. Stemple, Tim Sheard: Specification and Verification of Abstract Database Types. PODS 1984: 248-257
1983
7 David W. Stemple, Krithi Ramamritham, Stephen Vinter, Tim Sheard: Operating System Support for Abstract Data(base) Types. ICOD 1983: 179-195
6 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
5EECharles Welty, David W. Stemple: Reply. ACM Trans. Database Syst. 7(2): 317-318 (1982)
1981
4EECharles Welty, David W. Stemple: Human Factors Comparison of a Procedural and a Nonprocedural Query Language. ACM Trans. Database Syst. 6(4): 626-649 (1981)
1976
3EEDavid W. Stemple: A Data Base Management Facility for Automatic Generation of Data Base Managers. ACM Trans. Database Syst. 1(1): 79-94 (1976)
1975
2EEDavid W. Stemple: A Data Base Management Facility for Automatic Generation of Data Base Managers. VLDB 1975: 254
1974
1 Robert W. Taylor, David W. Stemple: On the Development of Data Base Editions. IFIP Working Conference Data Base Management 1974: 295-304

Coauthor Index

1Antonio Albano [31]
2Malcolm P. Atkinson [37]
3Toby Bloom [29]
4David A. Briggs [14]
5Ralph E. Bunker [13] [16]
6Panos K. Chrysanthis [18]
7Richard C. H. Connor [44]
8W. Bruce Croft [19] [39]
9Janice E. Cuny [42]
10Alan Dearle [31]
11Leonidas Fegaras [30] [34] [38] [41]
12George Forman [42]
13Giorgio Ghelli [31]
14Alfred Hough [42]
15Richard Hull [25] [35]
16Neil Immerman [36] [46]
17Ralf Johnson [28]
18Graham N. C. Kirby [47] [48]
19Elliot B. Koffman [9]
20Joydip Kundu [42]
21Calvin Lin [42]
22Chris D. Marlin [31]
23Subhasish Mazumdar [20] [22] [43]
24Ronald Morrison [25] [31] [35] [37] [44] [47] [48]
25J. Eliot B. Moss [28] [39]
26David S. Munro [44]
27Renzo Orsini [31]
28Sushant Patnaik [36] [46]
29Krithi Ramamritham [6] [7] [12] [14] [15] [17] [18] [39]
30S. Scheuerl [44]
31Klaus-Dieter Schewe [45]
32Tim Sheard [7] [8] [10] [11] [13] [16] [20] [21] [22] [23] [24] [26] [30] [33] [34] [40] [41]
33Alan Snyder [28]
34Lawrence Snyder (Larry Snyder) [42]
35Adolfo Socorro [23] [34]
36John A. Stankovic [39]
37Robert W. Taylor [1]
38Bernhard Thalheim [45]
39Donald F. Towsley [39]
40David Ungar [28]
41Stephen Vinter [6] [7] [12] [14] [15] [17] [18]
42Caroline E. Wardle [9]
43Charles Welty [4] [5]
44Jeannette M. Wing [29]
45Stanley B. Zdonik [29]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)