James E. Donahue

According to our database, James E. Donahue authored at least 19 papers between 1976 and 1992.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

1992

Modula-3 language definition.

Luca Cardelli, James E. Donahue, Lucille Glassman, Mick J. Jordan, Bill Kalsow, Greg Nelson

ACM SIGPLAN Notices, 1992

1989

The Modula-3 Type System.

Luca Cardelli, James E. Donahue, Mick J. Jordan, Bill Kalsow, Greg Nelson

Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989

1986

Whiteboards: A Graphical Database Tool.

James E. Donahue, Jennifer Widom

ACM Trans. Inf. Syst., 1986

1985

Data Types Are Values.

James E. Donahue, Alan J. Demers

ACM Trans. Program. Lang. Syst., 1985

Integration mechanisms in Cedar.

James E. Donahue

Proceedings of the ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments, 1985

Integrating Programming Languages with Database Systems.

James E. Donahue

Proceedings of the Data Types and Persistence, 1985

Software Development in the Cedar Programming Environment.

James E. Donahue

Proceedings of the GI/OCG/ÖGI-Jahrestagung 1985, 1985

Coordinating Independent Atomic Actions.

David K. Gifford, James E. Donahue

Proceedings of the Spring COMPCON'85, 1985

1983

Making Variables Abstract: An Equational Theory for Russell.

Alan J. Demers, James E. Donahue

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.

Robert Cartwright, James E. Donahue

Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, 1982

1980

"Type-Completeness" as a Language Design Principle.

Alan J. Demers, James E. Donahue

Proceedings of the Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, 1980

Data Types, Parameters, and Type Checking.

Alan J. Demers, James E. Donahue

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.

Robert L. Constable, James E. Donahue

ACM Trans. Program. Lang. Syst., 1979

On the Semantics of "Data Type".

James E. Donahue

SIAM J. Comput., 1979

1978

Data Types as Values: Polymorphism, Type-Checking, Encapsulation.

Alan J. Demers, James E. Donahue, Glenn Skinner

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.

James E. Donahue

ACM Comput. Surv., 1977

Locations Considered Unnecessary.

James E. Donahue

Acta Informatica, 1977

1976

Encapsulated data types and generic.

Alan J. Demers, James E. Donahue, Ray T. Teitelbaum, John H. Williams

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

James E. Donahue

Lecture Notes in Computer Science 42, Springer, ISBN: 3-540-07628-X, 1976