Concepedia

Earl C. Van Horn

EC

Statistics

Publications

3

Citations

1.2K

H-Index

3

Active since

1966

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

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

, , +22

Programming semantics for multiprogrammed computations

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

, , +22

Three criteria for designing computing systems to facilitate debugging

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

1–3 of 3