The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

James J. Horning: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. John V. Guttag, James J. Horning
    The Algebraic Specification of Abstract Data Types. [Citation Graph (4, 0)][DBLP]
    Acta Inf., 1978, v:10, n:, pp:27-52 [Journal]
  2. 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. [Citation Graph (2, 0)][DBLP]
    Acta Inf., 1978, v:10, n:, pp:1-26 [Journal]
  3. John D. Gannon, James J. Horning
    Language Design for Programming Reliability. [Citation Graph (2, 0)][DBLP]
    IEEE Trans. Software Eng., 1975, v:1, n:2, pp:179-191 [Journal]
  4. John V. Guttag, James J. Horning
    An Introduction to the Larch Shared Language. [Citation Graph (1, 0)][DBLP]
    IFIP Congress, 1983, pp:809-814 [Conf]
  5. James J. Horning, Brian Randell
    Process Structuring. [Citation Graph (1, 0)][DBLP]
    ACM Comput. Surv., 1973, v:5, n:1, pp:5-30 [Journal]
  6. John V. Guttag, James J. Horning
    Report on the Larch Shared Language. [Citation Graph (1, 0)][DBLP]
    Sci. Comput. Program., 1986, v:6, n:2, pp:103-134 [Journal]
  7. James J. Horning
    LR Grammars and Analysers. [Citation Graph (0, 0)][DBLP]
    Compiler Construction, 1976, pp:85-108 [Conf]
  8. James J. Horning
    Structuring Compiler Development. [Citation Graph (0, 0)][DBLP]
    Compiler Construction, 1976, pp:498-513 [Conf]
  9. James J. Horning
    What the Compiler Should Tell the User. [Citation Graph (0, 0)][DBLP]
    Compiler Construction, 1976, pp:525-548 [Conf]
  10. James J. Horning
    The Larch Shared Language: Some Open Problems. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1995, pp:58-73 [Conf]
  11. John V. Guttag, James J. Horning
    A Tutorial on LARCH and LCL, A LARCH/C Interface Language. [Citation Graph (0, 0)][DBLP]
    VDM Europe (2), 1991, pp:1-78 [Conf]
  12. James J. Horning
    Issues and Observations. [Citation Graph (0, 0)][DBLP]
    Program Specification, 1981, pp:5-24 [Conf]
  13. James J. Horning
    A Procedure for Grammatical Inference. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1971, pp:519-523 [Conf]
  14. Wilf R. LaLonde, E. S. Lee, James J. Horning
    An LALR(k) Parser Generator. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1971, pp:513-518 [Conf]
  15. James B. Saxe, Stephen J. Garland, John V. Guttag, James J. Horning
    Using Transformations and Verification in Ciruit Design. [Citation Graph (0, 0)][DBLP]
    Designing Correct Circuits, 1992, pp:1-25 [Conf]
  16. James B. Saxe, John V. Guttag, James J. Horning, Stephen J. Garland
    Using Transformations and Verification in Circuit Design. [Citation Graph (0, 0)][DBLP]
    Larch, 1992, pp:201-226 [Conf]
  17. Gerald J. Popek, James J. Horning, Butler W. Lampson, James G. Mitchell, Ralph L. London
    Notes on the Design of Euclid. [Citation Graph (0, 0)][DBLP]
    Language Design for Reliable Software, 1977, pp:11-18 [Conf]
  18. Stephen J. Garland, John V. Guttag, James J. Horning
    An Overview of Larch. [Citation Graph (0, 0)][DBLP]
    Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993, pp:329-348 [Conf]
  19. James J. Horning, Hugh C. Lauer, P. M. Melliar-Smith, Brian Randell
    A program structure for error detection and recovery. [Citation Graph (0, 0)][DBLP]
    Symposium on Operating Systems, 1974, pp:171-187 [Conf]
  20. James J. Horning
    A Case Study in Language Design: Euclid. [Citation Graph (0, 0)][DBLP]
    Program Construction, 1978, pp:125-132 [Conf]
  21. James J. Horning
    Verification of Euclid Programs. [Citation Graph (0, 0)][DBLP]
    Program Construction, 1978, pp:164-173 [Conf]
  22. James J. Horning
    Programming Languages for Reliable Computing Systems. [Citation Graph (0, 0)][DBLP]
    Program Construction, 1978, pp:494-530 [Conf]
  23. 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. [Citation Graph (0, 0)][DBLP]
    Program Construction, 1978, pp:133-163 [Conf]
  24. John V. Guttag, James J. Horning
    Formal Specification as a Design Tool. [Citation Graph (0, 0)][DBLP]
    POPL, 1980, pp:251-261 [Conf]
  25. James J. Horning
    After-dinner speech. [Citation Graph (0, 0)][DBLP]
    Design and Implementation of Programming Languages, 1976, pp:444-445 [Conf]
  26. James J. Horning
    Some Desirable Properties of Data Abstraction Facilities. [Citation Graph (0, 0)][DBLP]
    Conference on Data: Abstraction, Definition and Structure, 1976, pp:60-62 [Conf]
  27. David Evans, John V. Guttag, James J. Horning, Yang Meng Tan
    LCLint: A Tool for Using Specifications to Check Code. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1994, pp:87-96 [Conf]
  28. Andrew Birrell, John V. Guttag, James J. Horning, Roy Levin
    Synchronization Primitives for a Multiprocessor: A Formal Specification. [Citation Graph (0, 0)][DBLP]
    SOSP, 1987, pp:94-102 [Conf]
  29. James J. Horning
    Combining Algebraic and Predicative Specifications in Larch. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1985, pp:12-26 [Conf]
  30. T. Anderson, J. Eve, James J. Horning
    Efficient LR(1) Parsers [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1973, v:2, n:, pp:12-39 [Journal]
  31. Peter J. Denning, James J. Horning
    Risks of linear thinking. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 2002, v:45, n:3, pp:120- [Journal]
  32. James J. Horning
    Learning from experience. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 2001, v:44, n:7, pp:112- [Journal]
  33. James J. Horning
    Coincidental risks. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 2004, v:47, n:4, pp:112- [Journal]
  34. James J. Horning
    Selected Papers from the ACM Conference on Language Design for Reliable Software - Introduction. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1977, v:20, n:8, pp:539- [Journal]
  35. James B. Saxe, James J. Horning, John V. Guttag, Stephen J. Garland
    Using Transformations and Verification in Circuit Design. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1993, v:3, n:3, pp:181-209 [Journal]
  36. John V. Guttag, James J. Horning
    A Larch Shared Language Handbook. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1986, v:6, n:2, pp:135-157 [Journal]
  37. John V. Guttag, James J. Horning, Jeannette M. Wing
    Some Notes on Putting Formal Specifications to Productive Use. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1982, v:2, n:1, pp:53-68 [Journal]
  38. Stephen J. Garland, John V. Guttag, James J. Horning
    Debugging Larch Shared Language Specifications. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1990, v:16, n:9, pp:1044-1057 [Journal]
  39. James J. Horning, David B. Wortman
    Software Hut: A Computer Program Engineering Project in the Form of a Game. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1977, v:3, n:4, pp:325-330 [Journal]

  40. Words Matter: Privacy, Security, and Related Terms. [Citation Graph (, )][DBLP]


  41. The work of ACM's awards committee. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002