| 1992 |
|---|
| 18 | EE | Luca Cardelli,
James E. Donahue,
Lucille Glassman,
Mick J. Jordan,
Bill Kalsow,
Greg Nelson:
Modula-3 language definition.
SIGPLAN Notices 27(8): 15-42 (1992) |
| 1989 |
|---|
| 17 | | Luca Cardelli,
James E. Donahue,
Mick J. Jordan,
Bill Kalsow,
Greg Nelson:
The Modula-3 Type System.
POPL 1989: 202-212 |
| 1986 |
|---|
| 16 | EE | James E. Donahue,
Jennifer Widom:
Whiteboards: A Graphical Database Tool.
ACM Trans. Inf. Syst. 4(1): 24-41 (1986) |
| 1985 |
|---|
| 15 | | David K. Gifford,
James E. Donahue:
Coordinating Independent Atomic Actions.
COMPCON 1985: 92-95 |
| 14 | EE | James E. Donahue:
Integrating Programming Languages with Database Systems.
Data Types and Persistence (Appin), Informal Proceedings 1985: 315-324 |
| 13 | | James E. Donahue:
Software Development in the Cedar Programming Environment.
GI Jahrestagung 1985: 47-57 |
| 12 | EE | James E. Donahue,
Alan J. Demers:
Data Types Are Values.
ACM Trans. Program. Lang. Syst. 7(3): 426-445 (1985) |
| 1983 |
|---|
| 11 | | Alan J. Demers,
James E. Donahue:
Making Variables Abstract: An Equational Theory for Russell.
POPL 1983: 59-72 |
| 1982 |
|---|
| 10 | | Robert Cartwright,
James E. Donahue:
The Semantics of Lazy (and Industrious) Evaluation.
Symposium on LISP and Functional Programming 1982: 253- |
| 1980 |
|---|
| 9 | | Alan J. Demers,
James E. Donahue:
Data Types, Parameters, and Type Checking.
POPL 1980: 12-23 |
| 8 | | Alan J. Demers,
James E. Donahue:
``Type-Completeness'' as a Language Design Principle.
POPL 1980: 234-244 |
| 1979 |
|---|
| 7 | EE | 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): 98-114 (1979) |
| 6 | | James E. Donahue:
On the Semantics of "Data Type".
SIAM J. Comput. 8(4): 546-560 (1979) |
| 1978 |
|---|
| 5 | | Alan J. Demers,
James E. Donahue,
Glenn Skinner:
Data Types as Values: Polymorphism, Type-Checking, Encapsulation.
POPL 1978: 23-30 |
| 1977 |
|---|
| 4 | | James E. Donahue:
Surveyor's Forum: A Criticism of Sampler.
ACM Comput. Surv. 9(2): 166-167 (1977) |
| 3 | | James E. Donahue:
Locations Considered Unnecessary
Acta Inf. 8: 221-242 (1977) |
| 1976 |
|---|
| 2 | | James E. Donahue:
Complementary Definitions of Programming Language Semantics
Springer 1976 |
| 1 | | Alan J. Demers,
James E. Donahue,
Ray T. Teitelbaum,
John H. Williams:
Encapsulated data types and generic.
Design and Implementation of Programming Languages 1976: 171-214 |
