James J. Horning Home Page Coauthor index pubzone.org

Jim Horning

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2011
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
James J. Horning: The Development and Writing of "Process Structuring". Dependable and Historic Computing 2011: 267-272
2010
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Calvin C. Gotlieb, James J. Horning: The work of ACM's awards committee. Commun. ACM 53(4): 5 (2010)
2008
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jim Horning, Peter G. Neumann: Risks of neglecting infrastructure. Commun. ACM 51(6): 112 (2008)
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
James J. Horning: Words Matter: Privacy, Security, and Related Terms. ISIPS 2008: 57-62
2007
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jim Horning: Risks of virtual professionalism. Commun. ACM 50(4): 104 (2007)
2005
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Barbara B. Simons, Jim Horning: Risks of technology-oblivious policy. Commun. ACM 48(9): 136 (2005)
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Peter J. Denning, Jim Horning, David Lorge Parnas, Lauren Weinstein: Wikipedia risks. Commun. ACM 48(12): 152 (2005)
2004
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
James J. Horning: Coincidental risks. Commun. ACM 47(4): 112 (2004)
2002
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Peter J. Denning, James J. Horning: Risks of linear thinking. Commun. ACM 45(3): 120 (2002)
2001
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
James J. Horning: Learning from experience. Commun. ACM 44(7): 112 (2001)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jim Horning: Software fundamentals: collected papers by David L. Parnas. ACM SIGSOFT Software Engineering Notes 26(4): 91 (2001)
1995
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
James J. Horning: The Larch Shared Language: Some Open Problems. COMPASS/ADT 1995: 58-73
1994
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stephen J. Garland, John V. Guttag, James J. Horning: An Overview of Larch. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 329-348
1992
c21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
James B. Saxe, John V. Guttag, James J. Horning, Stephen J. Garland: Using Transformations and Verification in Circuit Design. Larch 1992: 201-226
1991
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John V. Guttag, James J. Horning: A Tutorial on LARCH and LCL, A LARCH/C Interface Language. VDM Europe (2) 1991: 1-78
1990
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stephen J. Garland, John V. Guttag, James J. Horning: Debugging Larch Shared Language Specifications. IEEE Trans. Software Eng. 16(9): 1044-1057 (1990)
1987
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrew Birrell, John V. Guttag, James J. Horning, Roy Levin: Synchronization Primitives for a Multiprocessor: A Formal Specification. SOSP 1987: 94-102
1986
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John V. Guttag, James J. Horning: Report on the Larch Shared Language. Sci. Comput. Program. 6(2): 103-134 (1986)
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John V. Guttag, James J. Horning: A Larch Shared Language Handbook. Sci. Comput. Program. 6(2): 135-157 (1986)
1985
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
James J. Horning: Combining Algebraic and Predicative Specifications in Larch. TAPSOFT, Vol.2 1985: 12-26
1983
c16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John V. Guttag, James J. Horning: An Introduction to the Larch Shared Language. IFIP Congress 1983: 809-814
1982
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
James J. Horning: Issues and Observations. Program Specification 1981: 5-24
1980
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John V. Guttag, James J. Horning: Formal Specification as a Design Tool. POPL 1980: 251-261
1978
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John V. Guttag, James J. Horning: The Algebraic Specification of Abstract Data Types. Acta Inf. 10: 27-52 (1978)
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
James J. Horning: A Case Study in Language Design: Euclid. Program Construction 1978: 125-132
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
James J. Horning: Verification of Euclid Programs. Program Construction 1978: 164-173
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
James J. Horning: Programming Languages for Reliable Computing Systems. Program Construction 1978: 494-530
1977
j5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
James J. Horning: Selected Papers from the ACM Conference on Language Design for Reliable Software - Introduction. Commun. ACM 20(8): 539 (1977)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
1976
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
James J. Horning: LR Grammars and Analysers. Compiler Construction 1976: 85-108
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
James J. Horning: Structuring Compiler Development. Compiler Construction 1976: 498-513
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
James J. Horning: What the Compiler Should Tell the User. Compiler Construction 1976: 525-548
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
James J. Horning: After-dinner speech. Design and Implementation of Programming Languages 1976: 444-445
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
James J. Horning: Some Desirable Properties of Data Abstraction Facilities. Conference on Data: Abstraction, Definition and Structure 1976: 60-62
1975
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John D. Gannon, James J. Horning: Language Design for Programming Reliability. IEEE Trans. Software Eng. 1(2): 179-191 (1975)
1974
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
T. Anderson, J. Eve, James J. Horning: Efficient LR(1) Parsers. Acta Inf. 2: 12-39 (1973)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
James J. Horning, Brian Randell: Process Structuring. ACM Comput. Surv. 5(1): 5-30 (1973)
1971
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wilf R. LaLonde, E. S. Lee, James J. Horning: An LALR(k) Parser Generator. IFIP Congress (1) 1971: 513-518
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
James J. Horning: A Procedure for Grammatical Inference. IFIP Congress (1) 1971: 519-523

Coauthor Index

1T. Anderson
[j2]
2Andrew Birrell
[c18]
3Peter J. Denning
[j17] [j15]
4David Evans
[c23]
5J. Eve
[j2]
6John D. Gannon
[j3]
7Stephen J. Garland
[j12] [c22] [c21] [c20] [j11]
8Calvin C. Gotlieb (C. C. Gotlieb)
[j21]
9John V. Guttag
[c23] [j12] [c22] [c21] [c20] [c19] [j11] [c18] [j10] [j9] [c16] [j8] [c14] [j7] [j6] [c12]
10Wilf R. LaLonde
[c2]
11Butler W. Lampson
[j7] [c12] [c9]
12Hugh C. Lauer
[c3]
13E. S. Lee
[c2]
14Roy Levin
[c18]
15Ralph L. London
[j7] [c12] [c9]
16P. M. Melliar-Smith (P. Michael Melliar-Smith)
[c3]
17James G. Mitchell
[j7] [c12] [c9]
18Peter G. Neumann
[j20]
19David Lorge Parnas
[j17]
20Gerald J. Popek
[j7] [c12] [c9]
21Brian Randell
[c3] [j1]
22James B. Saxe
[j12] [c21] [c20]
23Barbara B. Simons (Barbara Simons)
[j18]
24Yang Meng Tan
[c23]
25Lauren Weinstein
[j17]
26Jeannette M. Wing
[j8]
27David B. Wortman
[j4]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Thu May 23 19:43:17 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page