James J. Horning

Jim Horning

	2008
44		James J. Horning: Words Matter: Privacy, Security, and Related Terms. ISIPS 2008: 57-62
43		Jim Horning, Peter G. Neumann: Risks of neglecting infrastructure. Commun. ACM 51(6): 112 (2008)
	2007
42		Jim Horning: Risks of virtual professionalism. Commun. ACM 50(4): 104 (2007)
	2005
41		Peter J. Denning, Jim Horning, David Lorge Parnas, Lauren Weinstein: Wikipedia risks. Commun. ACM 48(12): 152 (2005)
40		Barbara B. Simons, Jim Horning: Risks of technology-oblivious policy. Commun. ACM 48(9): 136 (2005)
	2004
39		James J. Horning: Coincidental risks. Commun. ACM 47(4): 112 (2004)
	2002
38		Peter J. Denning, James J. Horning: Risks of linear thinking. Commun. ACM 45(3): 120 (2002)
	2001
37		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		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		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		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

Coauthor Index

1	T. Anderson	[3]
2	Andrew Birrell	[28]
3	Peter J. Denning	[38] [41]
4	David Evans	[35]
5	J. Eve	[3]
6	John D. Gannon	[6]
7	Stephen J. Garland	[29] [31] [32] [33] [34]
8	John V. Guttag	[15] [16] [19] [21] [23] [24] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35]
9	Wilf R. LaLonde	[2]
10	Butler W. Lampson	[14] [16] [19]
11	Hugh C. Lauer	[5]
12	E. S. Lee	[2]
13	Roy Levin	[28]
14	Ralph L. London	[14] [16] [19]
15	P. M. Melliar-Smith (P. Michael Melliar-Smith)	[5]
16	James G. Mitchell	[14] [16] [19]
17	Peter G. Neumann	[43]
18	David Lorge Parnas	[41]
19	Gerald J. Popek	[14] [16] [19]
20	Brian Randell	[4] [5]
21	James B. Saxe	[31] [32] [33]
22	Barbara B. Simons (Barbara Simons)	[40]
23	Yang Meng Tan	[35]
24	Lauren Weinstein	[41]
25	Jeannette M. Wing	[23]
26	David B. Wortman	[12]

Colors in the list of coauthors