J. J. Horning
University of Toronto(CA)
Publications by Year
Research Areas
Logic, programming, and type systems, Parallel Computing and Optimization Techniques, Formal Methods in Verification, Software Testing and Debugging Techniques, Software Engineering Research
Most-Cited Works
- → The algebraic specification of abstract data types(1978)518 cited
- → Report on the programming language Euclid(1977)383 cited
- → A program structure for error detection and recovery(2005)296 cited
- → The Larch Family of Specification Languages(1985)278 cited
- → Wikipedia risks(2005)210 cited
- → Process Structuring(1973)130 cited
- A compiler generator(1970)
- → Formal specification as a design tool(1980)120 cited