Get started
Author

James E. Donahue

Observed names: Donahue, James E., James Donahue
Institution: Cornell University
OpenAlex ID: A5111474432
Data types, parameters and type checking
1980 · Alan J. Demers, James E. Donahue · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 38
Coordinating Independent Atomic Actions.
1985 · David K. Gifford, James E. Donahue · COMPCON · 27
An Informal Description of Russell
1980 · Hans J. Boehm, Alan Demers, et al. · eCommons (Cornell University) · 20
Integrating Programming Languages with Database Systems.
1985 · James E. Donahue · 6
A Hierarchical Approach to Formal Semantics With Application to the Definition of PL/ CS
1979 · Robert L. Constable, James E. Donahue · ACM Transactions on Programming Languages and Systems · 3
An Elementary Formal Semantics for the Programming Language PL/CS
1976 · Robert L. Constable, James E. Donahue · eCommons (Cornell University) · 2
Complementary definition of programming language semantics.
1975 · James E. Donahue · 2
Encapsulated data types and generic procedures
2005 · Alan J. Demers, James E. Donahue, et al. · Springer eBooks · 1
Software Development in the Cedar Programming Environment
1985 · James Donahue · Informatik-Fachberichte · 1
The Russell Semantics: An Exercise in Abstract Data Types
1980 · Alan Demers, James E. Donahue · eCommons (Cornell University) · 1
Encapsulated data types and generic.
1976 · Alan Demers, James E. Donahue, et al.
Works count: 12
Citation count: 104
H-index: 4
I10-index: 3
Year
Topic
Type