David W. Stemple

Affiliations:
  • University of Massachusetts Amherst, USA


According to our database1, David W. Stemple authored at least 50 papers between 1974 and 1998.

Collaborative distances:

Timeline

1975
1980
1985
1990
1995
0
1
2
3
4
5
6
7
8
1
1
1
1
2
1
2
3
1
1
1
1
2
1
1
2
5
5
3
3
3
4
1
2
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

1998
Linguistic Reflection in Java.
Softw. Pract. Exp., 1998

1996
The Expressiveness of a Family of Finite Set Languages.
Theor. Comput. Sci., 1996

1994
Helping the Database Designer Maintain Inegrity Constraints.
IEEE Data Eng. Bull., 1994

Concurrent Shadow Paging in the Flask Architecture.
Proceedings of the Persistent Object Systems, 1994

Higher-Level Genericity in Object-Oriented Databases.
Proceedings of the Sixth International Conference on Management of Data, 1994

1993
Mechanisms for controlling evolution in persistent object systems.
Microprocess. Microsystems, 1993

The Ariadne Debugger: Scalable Application of Event-Based Abstraction.
Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, 1993

1992
Summary of Database Research Activities at The University of Massachusetts, Amherst.
SIGMOD Rec., 1992

Inheritance of Theory in the Adabtpl Language.
Comput. Lang., 1992

Uniform Traversal Combinators: Definition, Use and Properties.
Proceedings of the Automated Deduction, 1992

1991
Type-safe Linguistic Reflection.
Proceedings of the Database Programming Languages: Bulk Types and Persistent Data. 3rd International Workshop, 1991

Using Type Transformation in Database Implementation.
Proceedings of the Database Programming Languages: Bulk Types and Persistent Data. 3rd International Workshop, 1991

1990
Converting SQL queries into relational algebra.
Inf. Manag., 1990

Transactions - Introduction.
Proceedings of the Implementing Persistent Object Bases, 1990

A Recursive Base for Database Programming Primitives.
Proceedings of the Next Generation Information System Technology, 1990

Exceeding the Limits of Polymorphism in Database Programming Languages.
Proceedings of the Advances in Database Technology, 1990

A logically distributed approach for structuring office systems.
Proceedings of the ACM SIGOIS and IEEE CS TC-OA Conference on Office Information Systems, 1990

Protection in Persistent Object Systems.
Proceedings of the Security and Persistence, 1990

1989
Automatic Verification of Database Transaction Safety.
ACM Trans. Database Syst., 1989

Current Directions in Database Programming Languages.
IEEE Data Eng. Bull., 1989

Exploiting the Potential of Persistent Object Stores.
Proceedings of the Persistent Object Systems, 1989

Panel on Transactions in Object-Oriented Systems.
Proceedings of the Conference on Object-Oriented Programming: Systems, 1989

Panel: Inheritance: Can We Have Our Cake and Eat it, Too?
Proceedings of the Conference on Object-Oriented Programming: Systems, 1989

The ADABTPL Type System.
Proceedings of the Second International Workshop on Database Programming Languages, 1989

A Framework for Comparing Type Systems for Database Programming Languages.
Proceedings of the Second International Workshop on Database Programming Languages, 1989

1988
Resolving the Tension between Integrity and Security Using a Theorem Prover.
Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data, 1988

Formalizing Objects for Databases using ADABTPL.
Proceedings of the Advances in Object-Oriented Database Systems, 1988

The precise control of inheritance and the inheritance of theory in the ADABTPL language.
Proceedings of the 1988 Internation Conference on Computer Languages, 1988

1987
On the Modes and Meaning of Feedback to Transaction Designers.
Proceedings of the Association for Computing Machinery Special Interest Group on Management of Data 1987 Annual Conference, 1987

Supporting Offics Document Architectures with Constrained Types.
Proceedings of the Association for Computing Machinery Special Interest Group on Management of Data 1987 Annual Conference, 1987

Construction and Calculus of Types for Database Systems.
Proceedings of the Advances in Database Programming Languages, 1987

1986
Functional Addressing in Gutenberg: Interprocess Communication without Process Indentifiers.
IEEE Trans. Software Eng., 1986

Privilege Transfer and Revocation in a Port-Based System.
IEEE Trans. Software Eng., 1986

Incorporating theory into database system development.
Inf. Process. Manag., 1986

Abstract Data Types in Databases: Specification, Manipulation and Access.
Proceedings of the Second International Conference on Data Engineering, 1986

Recoverable Actions in Gutenberg.
Proceedings of the 6th International Conference on Distributed Computing Systems, 1986

The Gutenberg Operating System Kernel.
Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA, 1986

1985
Recommended Curriculum For CS2, 1984.
Commun. ACM, 1985

Coping with Complexity in Automated Reasoning about Database Systems.
Proceedings of the VLDB'85, 1985

Report on CS2 from ACM CS2 committee (panel session).
Proceedings of the 16th SIGCSE Technical Symposium on Computer Science Education, 1985

Database Theory for Supporting Specification-Based Database Systems Development.
Proceedings of the Proceedings, 1985

Decentralized Access Control in a Distributed System.
Proceedings of the 5th International Conference on Distributed Computing Systems, 1985

1984
Specification and Verification of Abstract Database Types.
Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1984

1983
Primitives for Accessing Protected Objects.
Proceedings of the Third Symposium on Reliability in Distributed Software and Database Systems, 1983

Operating System Support for Abstract Data(base) Types.
Proceedings of the Second International Conference On Databases, 1983

1982
Reply.
ACM Trans. Database Syst., 1982

Strategies and interfaces.
Proceedings of the ACM 1982 Annual Conference, Dallas, TX, USA, October 25-27, 1982, 1982

1981
Human Factors Comparison of a Procedural and a Nonprocedural Query Language.
ACM Trans. Database Syst., 1981

1976
A Data Base Management Facility for Automatic Generation of Data Base Managers.
ACM Trans. Database Syst., 1976

1974
On the Development of Data Base Editions.
Proceedings of the Data Base Management, 1974


  Loading...