James J. Horning

According to our database1, James J. Horning
  • authored at least 57 papers between 1968 and 2011.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2011
The Development and Writing of "Process Structuring".
Proceedings of the Dependable and Historic Computing, 2011

2010
The work of ACM's awards committee.
Commun. ACM, 2010

2008
Risks of neglecting infrastructure.
Commun. ACM, 2008

Words Matter: Privacy, Security, and Related Terms.
Proceedings of the Protecting Persons While Protecting the People, 2008

2007
Risks of virtual professionalism.
Commun. ACM, 2007

2005
Risks of technology-oblivious policy.
Commun. ACM, 2005

Wikipedia risks.
Commun. ACM, 2005

2004
Coincidental risks.
Commun. ACM, 2004

2002
Risks of linear thinking.
Commun. ACM, 2002

2001
Software fundamentals: collected papers by David L. Parnas.
ACM SIGSOFT Software Engineering Notes, 2001

Learning from experience.
Commun. ACM, 2001

1995
The Larch Shared Language: Some Open Problems.
Proceedings of the Recent Trends in Data Type Specification, 1995

1994
LCLint: A Tool for Using Specifications to Check Code.
Proceedings of the SIGSOFT '94, 1994

1993
Larch: Languages and Tools for Formal Specification
Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4612-2704-5, 1993

Using Transformations and Verification in Circuit Design.
Formal Methods in System Design, 1993

An Overview of Larch.
Proceedings of the Functional Programming, 1993

1992
Using Transformations and Verification in Circuit Design.
Proceedings of the First International Workshop on Larch, 1992

Using Transformations and Verification in Ciruit Design.
Proceedings of the Designing Correct Circuits, 1992

1991
A Tutorial on LARCH and LCL, A LARCH/C Interface Language.
Proceedings of the VDM '91, 1991

1990
Debugging Larch Shared Language Specifications.
IEEE Trans. Software Eng., 1990

1987
Synchronization Primitives for a Multiprocessor: A Formal Specification.
Proceedings of the Eleventh ACM Symposium on Operating System Principles, 1987

1986
A Larch Shared Language Handbook.
Sci. Comput. Program., 1986

Report on the Larch Shared Language.
Sci. Comput. Program., 1986

The Open Channel.
IEEE Computer, 1986

1985
The Larch Family of Specification Languages.
IEEE Software, 1985

Trip report: computing in support of battle management.
SIGCAS Computers and Society, 1985

Combining Algebraic and Predicative Specifications in Larch.
Proceedings of the Mathematical Foundations of Software Development, 1985

1984
The Open channel.
IEEE Computer, 1984

1983
An Introduction to the Larch Shared Language.
IFIP Congress, 1983

1982
Some Notes on Putting Formal Specifications to Productive Use.
Sci. Comput. Program., 1982

1981
FP with data abstraction and strong typing.
Proceedings of the 1981 conference on Functional programming languages and computer architecture, 1981

Issues and Observations.
Proceedings of the Program Specification, 1981

1980
Formal Specification as a Design Tool.
Proceedings of the Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, 1980

1978
Proof Rules for the Programming Language Euclid.
Acta Inf., 1978

The Algebraic Specification of Abstract Data Types.
Acta Inf., 1978

Proof Rules for the Programming Language Euclid.
Proceedings of the Program Construction, International Summer School, July 26, 1978

Programming Languages for Reliable Computing Systems.
Proceedings of the Program Construction, International Summer School, July 26, 1978

Verification of Euclid Programs.
Proceedings of the Program Construction, International Summer School, July 26, 1978

A Case Study in Language Design: Euclid.
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.
IEEE Trans. Software Eng., 1977

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

Notes on the Design of Euclid.
Language Design for Reliable Software, 1977

1976
Some Desirable Properties of Data Abstraction Facilities.
Proceedings of the SIGPLAN '76 Conference on Data: Abstraction, 1976

After-dinner speech.
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.
Proceedings of the Compiler Construction, An Advanced Course, 2nd ed., 1976

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

LR Grammars and Analysers.
Proceedings of the Compiler Construction, An Advanced Course, 2nd ed., 1976

1975
Language Design for Programming Reliability.
IEEE Trans. Software Eng., 1975

SIGPLAN 1: Should high level languages be used to write systems software? (Debate).
Proceedings of the 1975 ACM Annual Conference, Minneapolis, Minnesota, October 20-22, 1975, 1975

Yes! high level languages should be used to write systems software.
Proceedings of the 1975 ACM Annual Conference, Minneapolis, Minnesota, October 20-22, 1975, 1975

1974
A program structure for error detection and recovery.
Proceedings of the Operating Systems, 1974

1973
Process Structuring.
ACM Comput. Surv., 1973

Efficient LR(1) Parsers.
Acta Inf., 1973

1972
Project SUE as a learning experience.
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
An LALR(k) Parser Generator.
IFIP Congress (1), 1971

A Procedure for Grammatical Inference.
IFIP Congress (1), 1971

1968
The XPL compiler generator system.
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


  Loading...