| 2008 |
|---|
| 43 | EE | Jim Horning,
Peter G. Neumann:
Risks of neglecting infrastructure.
Commun. ACM 51(6): 112 (2008) |
| 2007 |
|---|
| 42 | EE | Jim Horning:
Risks of virtual professionalism.
Commun. ACM 50(4): 104 (2007) |
| 2005 |
|---|
| 41 | EE | Peter J. Denning,
Jim Horning,
David Lorge Parnas,
Lauren Weinstein:
Wikipedia risks.
Commun. ACM 48(12): 152 (2005) |
| 40 | EE | Barbara B. Simons,
Jim Horning:
Risks of technology-oblivious policy.
Commun. ACM 48(9): 136 (2005) |
| 2004 |
|---|
| 39 | EE | James J. Horning:
Coincidental risks.
Commun. ACM 47(4): 112 (2004) |
| 2002 |
|---|
| 38 | EE | Peter J. Denning,
James J. Horning:
Risks of linear thinking.
Commun. ACM 45(3): 120 (2002) |
| 2001 |
|---|
| 37 | EE | James J. Horning:
Learning from experience.
Commun. ACM 44(7): 112 (2001) |
| 1995 |
|---|
| 36 | | James J. Horning:
The Larch Shared Language: Some Open Problems.
COMPASS/ADT 1995: 58-73 |
| 1994 |
|---|
| 35 | EE | David Evans,
John V. Guttag,
James J. Horning,
Yang Meng Tan:
LCLint: A Tool for Using Specifications to Check Code.
SIGSOFT FSE 1994: 87-96 |
| 1993 |
|---|
| 34 | | Stephen J. Garland,
John V. Guttag,
James J. Horning:
An Overview of Larch.
Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 329-348 |
| 33 | | James B. Saxe,
James J. Horning,
John V. Guttag,
Stephen J. Garland:
Using Transformations and Verification in Circuit Design.
Formal Methods in System Design 3(3): 181-209 (1993) |
| 1992 |
|---|
| 32 | | James B. Saxe,
Stephen J. Garland,
John V. Guttag,
James J. Horning:
Using Transformations and Verification in Ciruit Design.
Designing Correct Circuits 1992: 1-25 |
| 31 | | James B. Saxe,
John V. Guttag,
James J. Horning,
Stephen J. Garland:
Using Transformations and Verification in Circuit Design.
Larch 1992: 201-226 |
| 1991 |
|---|
| 30 | | John V. Guttag,
James J. Horning:
A Tutorial on LARCH and LCL, A LARCH/C Interface Language.
VDM Europe (2) 1991: 1-78 |
| 1990 |
|---|
| 29 | EE | Stephen J. Garland,
John V. Guttag,
James J. Horning:
Debugging Larch Shared Language Specifications.
IEEE Trans. Software Eng. 16(9): 1044-1057 (1990) |
| 1987 |
|---|
| 28 | | Andrew Birrell,
John V. Guttag,
James J. Horning,
Roy Levin:
Synchronization Primitives for a Multiprocessor: A Formal Specification.
SOSP 1987: 94-102 |
| 1986 |
|---|
| 27 | | John V. Guttag,
James J. Horning:
Report on the Larch Shared Language.
Sci. Comput. Program. 6(2): 103-134 (1986) |
| 26 | | John V. Guttag,
James J. Horning:
A Larch Shared Language Handbook.
Sci. Comput. Program. 6(2): 135-157 (1986) |
| 1985 |
|---|
| 25 | | James J. Horning:
Combining Algebraic and Predicative Specifications in Larch.
TAPSOFT, Vol.2 1985: 12-26 |
| 1983 |
|---|
| 24 | | John V. Guttag,
James J. Horning:
An Introduction to the Larch Shared Language.
IFIP Congress 1983: 809-814 |
| 1982 |
|---|
| 23 | | John V. Guttag,
James J. Horning,
Jeannette M. Wing:
Some Notes on Putting Formal Specifications to Productive Use.
Sci. Comput. Program. 2(1): 53-68 (1982) |
| 1981 |
|---|
| 22 | | James J. Horning:
Issues and Observations.
Program Specification 1981: 5-24 |
| 1980 |
|---|
| 21 | | John V. Guttag,
James J. Horning:
Formal Specification as a Design Tool.
POPL 1980: 251-261 |
| 1978 |
|---|
| 20 | | James J. Horning:
A Case Study in Language Design: Euclid.
Program Construction 1978: 125-132 |
| 19 | | Ralph L. London,
John V. Guttag,
James J. Horning,
Butler W. Lampson,
James G. Mitchell,
Gerald J. Popek:
Proof Rules for the Programming Language Euclid.
Program Construction 1978: 133-163 |
| 18 | | James J. Horning:
Verification of Euclid Programs.
Program Construction 1978: 164-173 |
| 17 | | James J. Horning:
Programming Languages for Reliable Computing Systems.
Program Construction 1978: 494-530 |
| 16 | | Ralph L. London,
John V. Guttag,
James J. Horning,
Butler W. Lampson,
James G. Mitchell,
Gerald J. Popek:
Proof Rules for the Programming Language Euclid.
Acta Inf. 10: 1-26 (1978) |
| 15 | | John V. Guttag,
James J. Horning:
The Algebraic Specification of Abstract Data Types.
Acta Inf. 10: 27-52 (1978) |
| 1977 |
|---|
| 14 | | Gerald J. Popek,
James J. Horning,
Butler W. Lampson,
James G. Mitchell,
Ralph L. London:
Notes on the Design of Euclid.
Language Design for Reliable Software 1977: 11-18 |
| 13 | | James J. Horning:
Selected Papers from the ACM Conference on Language Design for Reliable Software - Introduction.
Commun. ACM 20(8): 539 (1977) |
| 12 | | James J. Horning,
David B. Wortman:
Software Hut: A Computer Program Engineering Project in the Form of a Game.
IEEE Trans. Software Eng. 3(4): 325-330 (1977) |
| 1976 |
|---|
| 11 | | James J. Horning:
Structuring Compiler Development.
Compiler Construction 1976: 498-513 |
| 10 | | James J. Horning:
What the Compiler Should Tell the User.
Compiler Construction 1976: 525-548 |
| 9 | | James J. Horning:
LR Grammars and Analysers.
Compiler Construction 1976: 85-108 |
| 8 | EE | James J. Horning:
Some Desirable Properties of Data Abstraction Facilities.
Conference on Data: Abstraction, Definition and Structure 1976: 60-62 |
| 7 | | James J. Horning:
After-dinner speech.
Design and Implementation of Programming Languages 1976: 444-445 |
| 1975 |
|---|
| 6 | | John D. Gannon,
James J. Horning:
Language Design for Programming Reliability.
IEEE Trans. Software Eng. 1(2): 179-191 (1975) |
| 1974 |
|---|
| 5 | | James J. Horning,
Hugh C. Lauer,
P. M. Melliar-Smith,
Brian Randell:
A program structure for error detection and recovery.
Symposium on Operating Systems 1974: 171-187 |
| 1973 |
|---|
| 4 | | James J. Horning,
Brian Randell:
Process Structuring.
ACM Comput. Surv. 5(1): 5-30 (1973) |
| 3 | | T. Anderson,
J. Eve,
James J. Horning:
Efficient LR(1) Parsers
Acta Inf. 2: 12-39 (1973) |
| 1971 |
|---|
| 2 | | Wilf R. LaLonde,
E. S. Lee,
James J. Horning:
An LALR(k) Parser Generator.
IFIP Congress (1) 1971: 513-518 |
| 1 | | James J. Horning:
A Procedure for Grammatical Inference.
IFIP Congress (1) 1971: 519-523 |
