Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
J. J. Horning
Observed names:
J. Horning,
J.J. Horning,
Jim Horning
Institution:
University of Toronto
Observed institutions:
Palo Alto Research Center,
University of Toronto,
Defense Engineering Corporation (United States),
Massachusetts Institute of Technology,
University of Maryland, College Park,
Stanford University
show all 6
OpenAlex ID:
A5111591573
The algebraic specification of abstract data types
1978
·
J.V. Guttag
, J.J. Horning
·
Acta Informatica
·
528
Report on the programming language Euclid
1977
·
B. W. Lampson
, J. J. Horning
, et al.
·
ACM SIGPLAN Notices
·
386
PDF
A program structure for error detection and recovery
2005
·
J. J. Horning
, H. C. Lauer
, et al.
·
Springer eBooks
·
293
The Larch Family of Specification Languages
1985
·
J.V. Guttag
, J.J. Horning
, et al.
·
IEEE Software
·
278
Wikipedia risks
2005
·
Peter Denning
, Jim Horning
, et al.
·
Communications of the ACM
·
213
Process Structuring
1973
·
J. J. Horning
, B. Randell
·
ACM Computing Surveys
·
127
A compiler generator
1970
·
W. M. McKeeman
, J. J. Horning
, et al.
·
CERN Document Server (European Organization for Nuclear Research)
·
123
Formal specification as a design tool
1980
·
John Guttag
, J. J. Horning
·
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
·
121
PDF
Proof rules for the programming language Euclid
1978
·
R.L. London
, J.V. Guttag
, et al.
·
Acta Informatica
·
116
Report on the larch shared language
1986
·
J.V. Guttag
, J.J. Horning
·
Science of Computer Programming
·
86
Compiler Construction: An Advanced Course
1974
·
Friedrich L. Bauer
, F. L. De Remer
, et al.
·
85
Notes on the design of Euclid
1977
·
G. J. Popek
, J. J. Horning
, et al.
·
ACM SIGOPS Operating Systems Review
·
73
PDF
Language design for programming reliability
1975
·
John D. Gannon
, J. J. Horning
·
IEEE Transactions on Software Engineering
·
73
Software Hut: A Computer Program Engineering Project in the Form of a Game
1977
·
J.J. Horning
, D.B. Wortman
·
IEEE Transactions on Software Engineering
·
63
Debugging Larch shared language specifications
1990
·
S.J. Garland
, J.V. Guttag
, et al.
·
IEEE Transactions on Software Engineering
·
61
EfficientLR (1) parsers
1973
·
T. Anderson
, J. Eve
, et al.
·
Acta Informatica
·
59
Synchronization primitives for a multiprocessor: a formal specification
1987
·
A. Birrell
, J. Guttag
, et al.
·
ACM SIGOPS Operating Systems Review
·
53
The impact of language design on the production of reliable software
1975
·
J. D. Gannon
, J. J. Horning
·
ACM SIGPLAN Notices
·
46
Some notes on putting formal specifications to productive use
1982
·
John Guttag
, Jim Horning
, et al.
·
Science of Computer Programming
·
40
A Larch Shared Language handbook
1986
·
J.V. Guttag
, J.J. Horning
·
Science of Computer Programming
·
33
Project SUE as a learning experience
1972
·
K. C. Sevcik
, J. W. Atwood
, et al.
·
AFIPS Fall Joint Computer Conference (FJCC)
·
32
PDF
The System Language for Project SUE
1971
·
B. L. Clark
, J. J. Horning
·
30
PDF
Introduction to LCL, A Larch/C Interface Language
1991
·
John V. Guttag
, J. J. Horning
·
25
The System Language for Project SUE
1971
·
B. L. Clark
, J. J. Horning
·
ACM SIGPLAN Notices
·
25
Notes on the design of Euclid
1977
·
G. J. Popek
, J. J. Horning
, et al.
·
ACM SIGPLAN Notices
·
23
Show more works
View as search
Works count:
58
Citation count:
3,169
H-index:
24
I10-index:
32
Year
Topic
Type
