Advertisement

Alternative Flowcharts for a Mathematical Analysis of Logic

  • Richard R. ZitoEmail author
Chapter

Abstract

This chapter describes the software “debugging” process at the higher levels of code organization in terms of the topological properties of a program’s Flowchart. However, traditional flowcharts are not the best presentation of logic flow. Other representations allow efficient enumeration of simple logic loops within the flow. And, this enumeration will be shown to be central to code fault detection and correction.

References

  1. 1.
    Zito, R.R. (2012). “Sneak Circuits” and related system safety electrical problems-I: Matrix methods. In Proceedings ISSC—2012, Atlanta, GA, August 6–10, 2012.Google Scholar
  2. 2.
    Anon. (2006). SCAT, sneak circuit analysis tool user’s guide—Ver. 5.0. Culver City, CA: SoHar Inc.Google Scholar
  3. 3.
    Allen, F. E. (1970). Control flow analysis. SIGPLAN Notices, 5(7), 1–19. CrossRefGoogle Scholar
  4. 4.
    Prosser, R. T. (1959). Applications of Boolean matrices to the analysis if flow diagrams. In Proceedings of the Eastern Joint IRE-AIEE-ACM Computer Conference (pp. 133–138), December 1–3.Google Scholar
  5. 5.
    Selby, S. M. (1968). Standard mathematical tables (16th ed., p. 108). CRC: Cleveland, OH.Google Scholar
  6. 6.
    Nance, D. W., & Naps, T. L. (1995). Computer science (3rd ed., pp. 820–825). St. Paul, MN: West Publishing Company.Google Scholar
  7. 7.
    Hanselman, D., & Littlefield, B. (1998). Mastering MATLAB 5. Upper Saddle River, NJ: Prentice Hall.Google Scholar
  8. 8.
    Marshall, C. W. (1971). Applied graph theory (pp. 258–261, 235–240). New York: Wiley.Google Scholar
  9. 9.
    Ross, I. C., & Harary, F. (1952). On the determination of redundancies in sociometric chains. Psychometrika, 17, 195–208.Google Scholar
  10. 10.
    Parthasarathy, K. R. (1964). Enumeration of paths in digraphs. Psychometrika, 29, 153–165.MathSciNetCrossRefGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  1. 1.Richard R. Zito Research LLCTucsonUSA

Personalised recommendations