Concepedia

Earl C. Van Horn

EC

3

Publications

1.2K

Citations

3

H-Index

1966

Active since

Affiliations

Massachusetts Institute of Technology(Current)

Earl C. Van Horn is an author at Massachusetts Institute of Technology specializing in formal methods, engineering, and system software.

Top concepts

EngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisParallel ComputingAutomated ReasoningFormal Verification

Publications per year

1966–1983

3

Publications

3

Programming semantics for multiprogrammed computations

Jack B. Dennis, Earl C. Van Horn · Communications of the ACM · 1983 · 680 citations

Engineering, Computer Architecture, Software Engineering +22

Programming semantics for multiprogrammed computations

Jack B. Dennis, Earl C. Van Horn · Communications of the ACM · 1966 · 552 citations · Full text

Engineering, Computer Architecture, Software Engineering +22

Three criteria for designing computing systems to facilitate debugging

Earl C. Van Horn · Communications of the ACM · 1968 · 13 citations · Full text

Rows per page

1–3 of 3