Concepedia

James Donahue

JD

Statistics

Publications

12

Citations

468

H-Index

11

Active since

1978

Affiliations

Cornell University(Current)

Palo Alto Research Center

James Donahue is an author at Cornell University specializing in engineering, program analysis, and programming languages.

Top concepts

EngineeringProgram AnalysisFormal MethodsComputer ScienceAutomated ReasoningProgramming LanguagesSemanticsSoftware AnalysisLanguageLinguistics

Publications per year

1978–2012

12

Publications

12

Modula-3 Report (revised)

Luca Cardelli, James Donahue, Lucille Glassman et al. · ACM SIGPLAN Notices · 1992 · 83 citations

Modulus Problem, Modula-3 Report, Modular Form

Modula-3 language definition

Luca Cardelli, James Donahue, Lucille Glassman et al. · ACM SIGPLAN Notices · 1992 · 78 citations

Applied Linguistics, Translation Studies, Account Save +15

The Modula--3 type system

Luca Cardelli, James Donahue, Mick Jordan et al. · 1989 · 73 citations

Engineering, Modular Form, Software Analysis +19

Data types are values

James Donahue, Alan Demers · ACM Transactions on Programming Languages and Systems · 1985 · 62 citations · Full text

Data Representation, Engineering, Verification +25

On the Semantics of “Data Type”

James Donahue · SIAM Journal on Computing · 1979 · 32 citations

1–5 of 12