James J. Horning

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