James E. Donahue

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