Statistics
Publications
26
Citations
2.4K
H-Index
21
Active since
1971
J. J. Horning is an author at University of Toronto specializing in computing, computer science, and programming languages.
Publications per year
1971–2005
26
26
The algebraic specification of abstract data types
John V. Guttag, J. J. Horning · Acta Informatica · 1978 · 521 citations
Report on the programming language Euclid
Butler Lampson, J. J. Horning, Ralph L. London et al. · ACM SIGPLAN Notices · 1977 · 384 citations · Full text
The Larch Family of Specification Languages
John V. Guttag, J. J. Horning, J.M. Wing · IEEE Software · 1985 · 278 citations
Peter J. Denning, J. J. Horning, David Lorge Parnas et al. · Communications of the ACM · 2005 · 210 citations
Formal specification as a design tool
John V. Guttag, J. J. Horning · 1980 · 120 citations · Full text
1–5 of 26