James J. Horning

According to our database, James J. Horning authored at least 65 papers between 1968 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2011

The Development and Writing of "Process Structuring".

James J. Horning

Proceedings of the Dependable and Historic Computing, 2011

2010

The work of ACM's awards committee.

Calvin C. Gotlieb, James J. Horning

Commun. ACM, 2010

2008

Risks of neglecting infrastructure.

Jim Horning, Peter G. Neumann

Commun. ACM, 2008

Words Matter: Privacy, Security, and Related Terms.

James J. Horning

Proceedings of the Protecting Persons While Protecting the People, 2008

2007

Risks of virtual professionalism.

Jim Horning

Commun. ACM, 2007

2005

Risks of technology-oblivious policy.

Barbara B. Simons, Jim Horning

Commun. ACM, 2005

Wikipedia risks.

Peter J. Denning, Jim Horning, David Lorge Parnas, Lauren Weinstein

Commun. ACM, 2005

2004

Coincidental risks.

James J. Horning

Commun. ACM, 2004

2002

Risks of linear thinking.

Peter J. Denning, James J. Horning

Commun. ACM, 2002

2001

Software fundamentals: collected papers by David L. Parnas.

Jim Horning

ACM SIGSOFT Softw. Eng. Notes, 2001

Learning from experience.

James J. Horning

Commun. ACM, 2001

1995

The Larch Shared Language: Some Open Problems.

James J. Horning

Proceedings of the Recent Trends in Data Type Specification, 1995

1994

LCLint: A Tool for Using Specifications to Check Code.

David E. Evans, John V. Guttag, James J. Horning, Yang Meng Tan

Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, 1994

1993

Larch: Languages and Tools for Formal Specification

John V. Guttag, James J. Horning, Stephen J. Garland, Kevin D. Jones, A. Modet, Jeannette M. Wing

Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4612-2704-5, 1993

Using Transformations and Verification in Circuit Design.

James B. Saxe, James J. Horning, John V. Guttag, Stephen J. Garland

Formal Methods Syst. Des., 1993

An Overview of Larch.

Stephen J. Garland, John V. Guttag, James J. Horning

Proceedings of the Functional Programming, 1993

1992

Using Transformations and Verification in Ciruit Design.

James B. Saxe, Stephen J. Garland, John V. Guttag, James J. Horning

Proceedings of the Designing Correct Circuits, 1992

1991

A Tutorial on LARCH and LCL, A LARCH/C Interface Language.

John V. Guttag, James J. Horning

Proceedings of the VDM '91, 1991

1990

Debugging Larch Shared Language Specifications.

Stephen J. Garland, John V. Guttag, James J. Horning

IEEE Trans. Software Eng., 1990

1987

Synchronization Primitives for a Multiprocessor: A Formal Specification.

Andrew Birrell, John V. Guttag, James J. Horning, Roy Levin

Proceedings of the Eleventh ACM Symposium on Operating System Principles, 1987

1986

Abstracts in software engineering.

John V. Guttag, James J. Horning, Jeannette M. Wing

ACM SIGSOFT Softw. Eng. Notes, 1986

A Larch Shared Language Handbook.

John V. Guttag, James J. Horning

Sci. Comput. Program., 1986

Report on the Larch Shared Language.

John V. Guttag, James J. Horning

Sci. Comput. Program., 1986

The Open Channel.

James J. Horning, Daniel Tabak

Computer, 1986

1985

The Larch Family of Specification Languages.

John V. Guttag, James J. Horning, Jeannette M. Wing

IEEE Softw., 1985

Computing in support of battle management.

Jim Horning

ACM SIGSOFT Softw. Eng. Notes, 1985

Trip report: computing in support of battle management.

James J. Horning

SIGCAS Comput. Soc., 1985

Combining Algebraic and Predicative Specifications in Larch.

James J. Horning

Proceedings of the Mathematical Foundations of Software Development, 1985

1984

The Open channel.

Sidney Fernbach, Richard Barr Hibbs, Jim Horning

Computer, 1984

1983

An Introduction to the Larch Shared Language.

John V. Guttag, James J. Horning

Proceedings of the Information Processing 83, 1983

1982

Some Notes on Putting Formal Specifications to Productive Use.

John V. Guttag, James J. Horning, Jeannette M. Wing

Sci. Comput. Program., 1982

1981

FP with data abstraction and strong typing.

John V. Guttag, James J. Horning, John Williams

Proceedings of the 1981 conference on Functional programming languages and computer architecture, 1981

Issues and Observations.

James J. Horning

Proceedings of the Program Specification, 1981

1980

Formal Specification as a Design Tool.

John V. Guttag, James J. Horning

Proceedings of the Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, 1980

1979

A note on program reliability.

Jim Horning

ACM SIGSOFT Softw. Eng. Notes, 1979

1978

Proof Rules for the Programming Language Euclid.

Ralph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek

Acta Informatica, 1978

The Algebraic Specification of Abstract Data Types.

John V. Guttag, James J. Horning

Acta Informatica, 1978

Programming Languages for Reliable Computing Systems.

James J. Horning

Proceedings of the Program Construction, International Summer School, July 26, 1978

Verification of Euclid Programs.

James J. Horning

Proceedings of the Program Construction, International Summer School, July 26, 1978

A Case Study in Language Design: Euclid.

James J. Horning

Proceedings of the Program Construction, International Summer School, July 26, 1978

1977

Software Hut: A Computer Program Engineering Project in the Form of a Game.

James J. Horning, David B. Wortman

IEEE Trans. Software Eng., 1977

Report on the programming language Euclid.

Butler W. Lampson, James J. Horning, Ralph L. London, James G. Mitchell, Gerald J. Popek

ACM SIGPLAN Notices, 1977

Selected Papers from the ACM Conference on Language Design for Reliable Software - Introduction.

James J. Horning

Commun. ACM, 1977

Notes on the Design of Euclid.

Gerald J. Popek, James J. Horning, Butler W. Lampson, James G. Mitchell, Ralph L. London

Proceedings of an ACM Conference on Language Design for Reliable Software (LDRS), 1977

A Proof Rule for Euclid Procedures.

John V. Guttag, James J. Horning, Ralph L. London

Proceedings of the Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 1977

1976

Some Desirable Properties of Data Abstraction Facilities.

James J. Horning

Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, 1976

After-dinner speech.

James J. Horning

Proceedings of the Design and Implementation of Programming Languages, Proceeding of a DoD Sponsored Workshop, Ithaca, NY, USA, September 30, 1976

What the Compiler Should Tell the User.

James J. Horning

Proceedings of the Compiler Construction, An Advanced Course, 2nd ed., 1976

Structuring Compiler Development.

James J. Horning

Proceedings of the Compiler Construction, An Advanced Course, 2nd ed., 1976

LR Grammars and Analysers.

James J. Horning

Proceedings of the Compiler Construction, An Advanced Course, 2nd ed., 1976

1975

Language Design for Programming Reliability.

John D. Gannon, James J. Horning

IEEE Trans. Software Eng., 1975

The impact of language design on the production of reliable software.

John D. Gannon, James J. Horning

Proceedings of the International Conference on Reliable Software 1975, 1975

SIGPLAN 1: Should high level languages be used to write systems software? (Debate).

James J. Horning, John G. Fletcher, Dennis J. Frailey

Proceedings of the 1975 ACM Annual Conference, 1975

Yes! high level languages should be used to write systems software.

James J. Horning

Proceedings of the 1975 ACM Annual Conference, 1975

1974

A program structure for error detection and recovery.

James J. Horning, Hugh C. Lauer, P. M. Melliar-Smith, Brian Randell

Proceedings of the Operating Systems, 1974

1973

Process Structuring.

James J. Horning, Brian Randell

ACM Comput. Surv., 1973

Efficient LR(1) Parsers.

T. Anderson, J. Eve, James J. Horning

Acta Informatica, 1973

Reflections on a language designed to write an operating system.

B. L. Clark, James J. Horning

Proceedings of the Proceeding of ACM SIGPLAN-SIGOPS Interface Meeting on Programming Languages, 1973

1972

Project SUE as a learning experience.

Kenneth C. Sevcik, J. William Atwood, Marc S. Grushcow, Richard C. Holt, James J. Horning, Dennis Tsichritzis

Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '72 Fall Joint Computer Conference, December 5-7, 1972, Anaheim, California, USA, 1972

1971

The System Language for Project SUE.

B. L. Clark, James J. Horning

Proceedings of the SIGPLAN Symposium on Languages for System Implementation, 1971

An LALR(k) Parser Generator.

Wilf R. LaLonde, E. S. Lee, James J. Horning

Proceedings of the Information Processing, Proceedings of IFIP Congress 1971, Volume 1, 1971

A Procedure for Grammatical Inference.

James J. Horning

Proceedings of the Information Processing, Proceedings of IFIP Congress 1971, Volume 1, 1971

1970

Empirical comparison of LR(k) and precedence parsers.

James J. Horning, Wilf R. LaLonde

ACM SIGPLAN Notices, 1970

1969

A study of grammatical inference.

James J. Horning

PhD thesis, 1969

1968

The XPL compiler generator system.

William M. McKeeman, James J. Horning, Edward Clark Nelson, David B. Wortman

Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '68 Fall Joint Computer Conference, December 9-11, 1968, San Francisco, California, USA, 1968