skip to main content
article
Free Access

Systematic mistake analysis of digital computer programs

Published:01 February 1963Publication History
First page image

References

  1. 1 McCRACKEN, D.D. Digital Computer Programming, pp. 159- 169. John Wiley, New York, 1957. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. 2 GILL. S. The diagonals of mistakes in programmes on the EDSAC. Proc. Royal Soc. {A}, 206 (1951), 538-554.Google ScholarGoogle Scholar
  3. 3 JACOBY, K., AND LAYTON, J. Automation of program debugging. Paper presented at th 16th Nat. Conf. ACM. Los Angeles, Sept. 8, 1961. Abstract in Comm. ACM 4 (1961) 7. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. 4 HAIBT. LOIS M. A program to draw multilevel flow charts. Proc. Western Joint Comp. Conf., san Francisco, 1959.Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. 5 SENKO, M. E., A control system for logical block diagosis with data loading. Comm, ACM 3, 4 (1960), 236-240. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. 6 KARP, R. M. A note on the application of graph theory to digital computer programming. Inf. Contr. 3 (1960), 2.Google ScholarGoogle ScholarCross RefCross Ref
  7. 7 SALTON, G. Manipulation of trees in iafornmdon retrieval. Comm. ACM 5, 2 (1962), 103-114. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. 8 KAVANAUGH, T. F. TABSOL, the ianguage of decision making. Comp., Aut. 10 (1961), 9.Google ScholarGoogle Scholar
  9. 9 PROSSER, R. T. Applications of Boolean matrices to the analysis of flow diagrams. Tech. Rep. 217, MIT Lincoln Lab., Lexington, Mass., 1960.Google ScholarGoogle Scholar
  10. 10 IVERSON, K. E. A programming notation for trees. IBM Res. Report RC-390, 1961.Google ScholarGoogle Scholar
  11. 11 SAUDER, R. L. A general test data generator for COBOL. Report presented at the AFIPS Spring Joint. Comput. Conf., San Francisco. 1962.Google ScholarGoogle Scholar

Recommendations

Comments

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Sign in

Full Access

  • Published in

    cover image Communications of the ACM
    Communications of the ACM  Volume 6, Issue 2
    Feb. 1963
    33 pages
    ISSN:0001-0782
    EISSN:1557-7317
    DOI:10.1145/366246
    Issue’s Table of Contents

    Copyright © 1963 ACM

    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 1 February 1963

    Permissions

    Request permissions about this article.

    Request Permissions

    Check for updates

    Qualifiers

    • article

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader