James J. Horning

Publication Activity (10 Years)

Years Active: 1968-2011
Publications (10 Years): 0

Publications

James J. Horning
The Development and Writing of "Process Structuring". Dependable and Historic Computing (2011)
Calvin C. Gotlieb, James J. Horning
The work of ACM's awards committee. Commun. ACM 53 (4) (2010)
James J. Horning
Words Matter: Privacy, Security, and Related Terms. ISIPS (2008)
James J. Horning
Coincidental risks. Commun. ACM 47 (4) (2004)
Peter J. Denning, James J. Horning
Risks of linear thinking. Commun. ACM 45 (3) (2002)
James J. Horning
Learning from experience. Commun. ACM 44 (7) (2001)
James J. Horning
The Larch Shared Language: Some Open Problems. COMPASS/ADT (1995)
David E. Evans, John V. Guttag, James J. Horning, Yang Meng Tan
LCLint: A Tool for Using Specifications to Check Code. SIGSOFT FSE (1994)
Stephen J. Garland, John V. Guttag, James J. Horning
An Overview of Larch. Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)
James B. Saxe, James J. Horning, John V. Guttag, Stephen J. Garland
Using Transformations and Verification in Circuit Design. Formal Methods Syst. Des. 3 (3) (1993)
James B. Saxe, John V. Guttag, James J. Horning, Stephen J. Garland
Using Transformations and Verification in Circuit Design. Larch (1992)
James B. Saxe, Stephen J. Garland, John V. Guttag, James J. Horning
Using Transformations and Verification in Ciruit Design. Designing Correct Circuits (1992)
John V. Guttag, James J. Horning
A Tutorial on LARCH and LCL, A LARCH/C Interface Language. VDM Europe (2) (1991)
Stephen J. Garland, John V. Guttag, James J. Horning
Debugging Larch Shared Language Specifications. IEEE Trans. Software Eng. 16 (9) (1990)
Andrew Birrell, John V. Guttag, James J. Horning, Roy Levin
Synchronization Primitives for a Multiprocessor: A Formal Specification. SOSP (1987)
James J. Horning, Daniel Tabak
The Open Channel. Computer 19 (10) (1986)
John V. Guttag, James J. Horning, Jeannette M. Wing
Abstracts in software engineering. ACM SIGSOFT Softw. Eng. Notes 11 (1) (1986)
John V. Guttag, James J. Horning
Report on the Larch Shared Language. Sci. Comput. Program. 6 (2) (1986)
John V. Guttag, James J. Horning
A Larch Shared Language Handbook. Sci. Comput. Program. 6 (2) (1986)
John V. Guttag, James J. Horning, Jeannette M. Wing
The Larch Family of Specification Languages. IEEE Softw. 2 (5) (1985)
James J. Horning
Combining Algebraic and Predicative Specifications in Larch. TAPSOFT, Vol.2 (1985)
James J. Horning
Trip report: computing in support of battle management. SIGCAS Comput. Soc. (4, 1-3) (1985)
John V. Guttag, James J. Horning
An Introduction to the Larch Shared Language. IFIP Congress (1983)
John V. Guttag, James J. Horning, Jeannette M. Wing
Some Notes on Putting Formal Specifications to Productive Use. Sci. Comput. Program. 2 (1) (1982)
James J. Horning
Issues and Observations. Program Specification (1981)
John V. Guttag, James J. Horning, John Williams
FP with data abstraction and strong typing. FPCA (1981)
John V. Guttag, James J. Horning
Formal Specification as a Design Tool. POPL (1980)
James J. Horning
Verification of Euclid Programs. Program Construction (1978)
James J. Horning
A Case Study in Language Design: Euclid. Program Construction (1978)
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)
John V. Guttag, James J. Horning
The Algebraic Specification of Abstract Data Types. Acta Informatica 10 (1978)
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 Informatica 10 (1978)
James J. Horning
Programming Languages for Reliable Computing Systems. Program Construction (1978)
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) (1977)
Butler W. Lampson, James J. Horning, Ralph L. London, James G. Mitchell, Gerald J. Popek
Report on the programming language Euclid. ACM SIGPLAN Notices 12 (2) (1977)
James J. Horning
Selected Papers from the ACM Conference on Language Design for Reliable Software - Introduction. Commun. ACM 20 (8) (1977)
John V. Guttag, James J. Horning, Ralph L. London
A Proof Rule for Euclid Procedures. Formal Description of Programming Concepts (1977)
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)
James J. Horning
Structuring Compiler Development. Compiler Construction (1976)
James J. Horning
What the Compiler Should Tell the User. Compiler Construction (1976)
James J. Horning
LR Grammars and Analysers. Compiler Construction (1976)
James J. Horning
After-dinner speech. Design and Implementation of Programming Languages (1976)
James J. Horning
Some Desirable Properties of Data Abstraction Facilities. Conference on Data: Abstraction, Definition and Structure (1976)
James J. Horning
Yes! high level languages should be used to write systems software. ACM Annual Conference (1975)
John D. Gannon, James J. Horning
Language Design for Programming Reliability. IEEE Trans. Software Eng. 1 (2) (1975)
James J. Horning, John G. Fletcher, Dennis J. Frailey
SIGPLAN 1: Should high level languages be used to write systems software? (Debate). ACM Annual Conference (1975)
John D. Gannon, James J. Horning
The impact of language design on the production of reliable software. Reliable Software (1975)
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)
B. L. Clark, James J. Horning
Reflections on a language designed to write an operating system. SIGPLAN-SIGOPS Interface Meeting (1973)
James J. Horning, Brian Randell
Process Structuring. ACM Comput. Surv. 5 (1) (1973)
T. Anderson, J. Eve, James J. Horning
Efficient LR(1) Parsers. Acta Informatica 2 (1973)
Kenneth C. Sevcik, J. William Atwood, Marc S. Grushcow, Richard C. Holt, James J. Horning, Dennis Tsichritzis
Project SUE as a learning experience. AFIPS Fall Joint Computing Conference (1) (1972)
Wilf R. LaLonde, E. S. Lee, James J. Horning
An LALR(k) Parser Generator. IFIP Congress (1) (1971)
B. L. Clark, James J. Horning
The System Language for Project SUE. SIGPLAN Symposium on Languages for System Implementation (1971)
James J. Horning
A Procedure for Grammatical Inference. IFIP Congress (1) (1971)
James J. Horning, Wilf R. LaLonde
Empirical comparison of LR(k) and precedence parsers. ACM SIGPLAN Notices 5 (11) (1970)
William M. McKeeman, James J. Horning, E. C. Nelson, David B. Wortman
The XPL compiler generator system. AFIPS Fall Joint Computing Conference (1) (1968)