Author: Earl C. Van Horn
Publications
Co-authors
Productive Colleagues
Publications
Dennis, Jack B., Horn, Earl C. Van (1983): Programming Semantics for Multiprogrammed Computations (Reprint). In Communications of the ACM, 26 (1) pp. 29-29.
Horn, Earl C. Van (1968): Three criteria for designing computing systems to facilitate debugging. In Communications of the ACM, 11 (5) pp. 360-365. https://dl.acm.org/doi/10.1145/363095.363145
Dennis, Jack B., Horn, Earl C. Van (1966): Programming semantics for multiprogrammed computations. In Communications of the ACM, 9 (3) pp. 143-155. https://dl.acm.org/doi/10.1145/365230.365252