James E. Donahue

According to our database1, James E. Donahue
  • authored at least 19 papers between 1976 and 1992.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1992
Modula-3 language definition.
SIGPLAN Notices, 1992

1989
The Modula-3 Type System.
Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989

1986
Whiteboards: A Graphical Database Tool.
ACM Trans. Inf. Syst., 1986

1985
Data Types Are Values.
ACM Trans. Program. Lang. Syst., 1985

Integration mechanisms in Cedar.
SIGPLAN Notices, 1985

Integrating Programming Languages with Database Systems.
Proceedings of the Data Types and Persistence, 1985

Software Development in the Cedar Programming Environment.
Proceedings of the GI/OCG/ÖGI-Jahrestagung 1985, 1985

Coordinating Independent Atomic Actions.
Proceedings of the Spring COMPCON'85, 1985

1983
Making Variables Abstract: An Equational Theory for Russell.
Proceedings of the Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, 1983

1982
The Semantics of Lazy (and Industrious) Evaluation.
Symposium on LISP and Functional Programming, 1982

1980
"Type-Completeness" as a Language Design Principle.
Proceedings of the Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, 1980

Data Types, Parameters, and Type Checking.
Proceedings of the Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, 1980

1979
A Hierarchial Approach to Formal Semantics With Application to the Definition of PL/CS.
ACM Trans. Program. Lang. Syst., 1979

On the Semantics of "Data Type".
SIAM J. Comput., 1979

1978
Data Types as Values: Polymorphism, Type-Checking, Encapsulation.
Proceedings of the Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, 1978

1977
Surveyor's Forum: A Criticism of Sampler.
ACM Comput. Surv., 1977

Locations Considered Unnecessary.
Acta Inf., 1977

1976
Encapsulated data types and generic.
Proceedings of the Design and Implementation of Programming Languages, Proceeding of a DoD Sponsored Workshop, Ithaca, NY, USA, September 30, 1976

Complementary Definitions of Programming Language Semantics
Lecture Notes in Computer Science 42, Springer, ISBN: 3-540-07628-X, 1976


  Loading...