James E. Donahue

Publication Activity (10 Years)

Years Active: 1976-1992
Publications (10 Years): 0

Publications

Luca Cardelli, James E. Donahue, Lucille Glassman, Mick J. Jordan, Bill Kalsow, Greg Nelson
Modula-3 language definition. ACM SIGPLAN Notices 27 (8) (1992)
Luca Cardelli, James E. Donahue, Mick J. Jordan, Bill Kalsow, Greg Nelson
The Modula-3 Type System. POPL (1989)
James E. Donahue, Jennifer Widom
Whiteboards: A Graphical Database Tool. ACM Trans. Inf. Syst. 4 (1) (1986)
James E. Donahue
Software Development in the Cedar Programming Environment. GI Jahrestagung (1985)
James E. Donahue
Integration mechanisms in Cedar. ACM SIGPLAN Notices 20 (7) (1985)
James E. Donahue
Integrating Programming Languages with Database Systems. Data Types and Persistence (Appin), Informal Proceedings (1985)
James E. Donahue, Alan J. Demers
Data Types Are Values. ACM Trans. Program. Lang. Syst. 7 (3) (1985)
David K. Gifford, James E. Donahue
Coordinating Independent Atomic Actions. COMPCON (1985)
Alan J. Demers, James E. Donahue
Making Variables Abstract: An Equational Theory for Russell. POPL (1983)
Robert Cartwright, James E. Donahue
The Semantics of Lazy (and Industrious) Evaluation. Symposium on LISP and Functional Programming (1982)
Alan J. Demers, James E. Donahue
Data Types, Parameters, and Type Checking. POPL (1980)
Alan J. Demers, James E. Donahue
"Type-Completeness" as a Language Design Principle. POPL (1980)
James E. Donahue
On the Semantics of "Data Type". SIAM J. Comput. 8 (4) (1979)
Robert L. Constable, James E. Donahue
A Hierarchial Approach to Formal Semantics With Application to the Definition of PL/CS. ACM Trans. Program. Lang. Syst. 1 (1) (1979)
Alan J. Demers, James E. Donahue, Glenn Skinner
Data Types as Values: Polymorphism, Type-Checking, Encapsulation. POPL (1978)
James E. Donahue
Locations Considered Unnecessary. Acta Informatica 8 (1977)
James E. Donahue
Surveyor's Forum: A Criticism of Sampler. ACM Comput. Surv. 9 (2) (1977)
Alan J. Demers, James E. Donahue, Ray T. Teitelbaum, John H. Williams
Encapsulated data types and generic. Design and Implementation of Programming Languages (1976)