![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
James J. Horning
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2011
- [c35]James J. Horning:
The Development and Writing of "Process Structuring". Dependable and Historic Computing 2011: 267-272 - 2010
- [j30]Calvin C. Gotlieb, James J. Horning:
The work of ACM's awards committee. Commun. ACM 53(4): 5 (2010)
2000 – 2009
- 2008
- [j29]Jim Horning, Peter G. Neumann:
Risks of neglecting infrastructure. Commun. ACM 51(6): 112 (2008) - [c34]James J. Horning:
Words Matter: Privacy, Security, and Related Terms. ISIPS 2008: 57-62 - 2007
- [j28]Jim Horning:
Risks of virtual professionalism. Commun. ACM 50(4): 104 (2007) - 2005
- [j27]Barbara B. Simons, Jim Horning:
Risks of technology-oblivious policy. Commun. ACM 48(9): 136 (2005) - [j26]Peter J. Denning, Jim Horning, David Lorge Parnas, Lauren Weinstein:
Wikipedia risks. Commun. ACM 48(12): 152 (2005) - 2004
- [j25]James J. Horning:
Coincidental risks. Commun. ACM 47(4): 112 (2004) - 2002
- [j24]Peter J. Denning, James J. Horning:
Risks of linear thinking. Commun. ACM 45(3): 120 (2002) - 2001
- [j23]James J. Horning:
Learning from experience. Commun. ACM 44(7): 112 (2001) - [j22]Jim Horning:
Software fundamentals: collected papers by David L. Parnas. ACM SIGSOFT Softw. Eng. Notes 26(4): 91 (2001)
1990 – 1999
- 1995
- [c33]James J. Horning:
The Larch Shared Language: Some Open Problems. COMPASS/ADT 1995: 58-73 - 1994
- [c32]David E. 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
- [b2]John V. Guttag, James J. Horning, Stephen J. Garland, Kevin D. Jones, A. Modet, Jeannette M. Wing:
Larch: Languages and Tools for Formal Specification. Texts and Monographs in Computer Science, Springer 1993, ISBN 978-1-4612-7636-4, pp. 1-156 - [j21]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): 181-209 (1993) - [c31]Stephen J. Garland, John V. Guttag, James J. Horning:
An Overview of Larch. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 329-348 - 1992
- [c30]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 - [c29]James B. Saxe, John V. Guttag, James J. Horning, Stephen J. Garland:
Using Transformations and Verification in Circuit Design. Larch 1992: 201-226 - 1991
- [c28]John V. Guttag, James J. Horning:
A Tutorial on LARCH and LCL, A LARCH/C Interface Language. VDM Europe (2) 1991: 1-78 - 1990
- [j20]Stephen J. Garland, John V. Guttag, James J. Horning:
Debugging Larch Shared Language Specifications. IEEE Trans. Software Eng. 16(9): 1044-1057 (1990)
1980 – 1989
- 1987
- [c27]Andrew Birrell, John V. Guttag, James J. Horning, Roy Levin:
Synchronization Primitives for a Multiprocessor: A Formal Specification. SOSP 1987: 94-102 - 1986
- [j19]James J. Horning, Daniel Tabak:
The Open Channel. Computer 19(10): 85-86 (1986) - [j18]John V. Guttag, James J. Horning:
Report on the Larch Shared Language. Sci. Comput. Program. 6(2): 103-134 (1986) - [j17]John V. Guttag, James J. Horning:
A Larch Shared Language Handbook. Sci. Comput. Program. 6(2): 135-157 (1986) - [j16]John V. Guttag, James J. Horning, Jeannette M. Wing:
Abstracts in software engineering. ACM SIGSOFT Softw. Eng. Notes 11(1): 103-110 (1986) - 1985
- [j15]James J. Horning:
Trip report: computing in support of battle management. SIGCAS Comput. Soc. 14-15(4, 1-3): 38-40 (1985) - [j14]Jim Horning:
Computing in support of battle management. ACM SIGSOFT Softw. Eng. Notes 10(5): 24-27 (1985) - [j13]John V. Guttag, James J. Horning, Jeannette M. Wing:
The Larch Family of Specification Languages. IEEE Softw. 2(5): 24-36 (1985) - [c26]James J. Horning:
Combining Algebraic and Predicative Specifications in Larch. TAPSOFT, Vol.2 1985: 12-26 - 1984
- [j12]Sidney Fernbach, Richard Barr Hibbs, Jim Horning:
The Open channel. Computer 17(7): 89-90 (1984) - 1983
- [c25]John V. Guttag, James J. Horning:
An Introduction to the Larch Shared Language. IFIP Congress 1983: 809-814 - 1982
- [j11]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
- [c24]James J. Horning:
Issues and Observations. Program Specification 1981: 5-24 - [c23]John V. Guttag, James J. Horning, John Williams:
FP with data abstraction and strong typing. FPCA 1981: 11-24 - 1980
- [c22]John V. Guttag, James J. Horning:
Formal Specification as a Design Tool. POPL 1980: 251-261
1970 – 1979
- 1979
- [j10]Jim Horning:
A note on program reliability. ACM SIGSOFT Softw. Eng. Notes 4(4): 6-8 (1979) - 1978
- [j9]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: 1-26 (1978) - [j8]John V. Guttag, James J. Horning:
The Algebraic Specification of Abstract Data Types. Acta Informatica 10: 27-52 (1978) - [c21]James J. Horning:
A Case Study in Language Design: Euclid. Program Construction 1978: 125-132 - [c20]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 - [c19]James J. Horning:
Verification of Euclid Programs. Program Construction 1978: 164-173 - [c18]James J. Horning:
Programming Languages for Reliable Computing Systems. Program Construction 1978: 494-530 - 1977
- [j7]James J. Horning:
Selected Papers from the ACM Conference on Language Design for Reliable Software - Introduction. Commun. ACM 20(8): 539 (1977) - [j6]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): 1-79 (1977) - [j5]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) - [c17]John V. Guttag, James J. Horning, Ralph L. London:
A Proof Rule for Euclid Procedures. Formal Description of Programming Concepts 1977: 211-220 - [c16]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
- [c15]James J. Horning:
LR Grammars and Analysers. Compiler Construction 1976: 85-108 - [c14]James J. Horning:
Structuring Compiler Development. Compiler Construction 1976: 498-513 - [c13]James J. Horning:
What the Compiler Should Tell the User. Compiler Construction 1976: 525-548 - [c12]James J. Horning:
After-dinner speech. Design and Implementation of Programming Languages 1976: 444-445 - [c11]James J. Horning:
Some Desirable Properties of Data Abstraction Facilities. Conference on Data: Abstraction, Definition and Structure 1976: 60-62 - 1975
- [j4]John D. Gannon, James J. Horning:
Language Design for Programming Reliability. IEEE Trans. Software Eng. 1(2): 179-191 (1975) - [c10]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: 204 - [c9]James J. Horning:
Yes! high level languages should be used to write systems software. ACM Annual Conference 1975: 206-208 - [c8]John D. Gannon, James J. Horning:
The impact of language design on the production of reliable software. Reliable Software 1975: 10-22 - 1974
- [c7]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
- [j3]T. Anderson, J. Eve, James J. Horning:
Efficient LR(1) Parsers. Acta Informatica 2: 12-39 (1973) - [j2]James J. Horning, Brian Randell:
Process Structuring. ACM Comput. Surv. 5(1): 5-30 (1973) - [c6]B. L. Clark, James J. Horning:
Reflections on a language designed to write an operating system. SIGPLAN-SIGOPS Interface Meeting 1973: 52-56 - 1972
- [c5]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: 331-338 - 1971
- [c4]Wilf R. LaLonde, E. S. Lee, James J. Horning:
An LALR(k) Parser Generator. IFIP Congress (1) 1971: 513-518 - [c3]James J. Horning:
A Procedure for Grammatical Inference. IFIP Congress (1) 1971: 519-523 - [c2]B. L. Clark, James J. Horning:
The System Language for Project SUE. SIGPLAN Symposium on Languages for System Implementation 1971: 79-88 - 1970
- [j1]James J. Horning, Wilf R. LaLonde:
Empirical comparison of LR(k) and precedence parsers. ACM SIGPLAN Notices 5(11): 10-24 (1970)
1960 – 1969
- 1969
- [b1]James J. Horning:
A study of grammatical inference. Stanford University, USA, 1969 - 1968
- [c1]William M. McKeeman, James J. Horning, Edward Clark Nelson, David B. Wortman:
The XPL compiler generator system. AFIPS Fall Joint Computing Conference (1) 1968: 617-635
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-02 20:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint