Skip to main content
Erschienen in:
Buchtitelbild

2020 | OriginalPaper | Buchkapitel

Flow Diagrams, Assertions, and Formal Methods

Aktivieren Sie unsere intelligente Suche um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

This paper examines the early history of the flow diagram notation developed by Herman Goldstine and John von Neumann in the mid-1940s. It emphasizes the motivation for the notation’s mathematical aspects and the provision made for formally checking the consistency of diagrams. Goldstine and von Neumann’s introduction of assertion boxes is considered in detail. The practical use of flow diagrams is considered briefly, and the paper then reads Turing’s 1949 essay on “Checking a large routine” in the light of his likely knowledge of the Goldstine/von Neumann notation. In particular, his different use of the term “assertion” is considered, and related to the earlier work.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat ASME Standard: Operation and flow process charts. American Society of Mechanical Engineers (1947) ASME Standard: Operation and flow process charts. American Society of Mechanical Engineers (1947)
2.
Zurück zum Zitat Burks, A.W., Goldstine, H.H., von Neumann, J.: Preliminary discussion of the logical design of an electronic computing instrument. The Institute for Advanced Study, 28 June 1946 Burks, A.W., Goldstine, H.H., von Neumann, J.: Preliminary discussion of the logical design of an electronic computing instrument. The Institute for Advanced Study, 28 June 1946
3.
Zurück zum Zitat Curry, H.B., Wyatt, W.A.: A study of inverse interpolation of the Eniac. Ballistic Research Laboratories Report No. 615. Aberdeen Proving Ground, MD (1946) Curry, H.B., Wyatt, W.A.: A study of inverse interpolation of the Eniac. Ballistic Research Laboratories Report No. 615. Aberdeen Proving Ground, MD (1946)
4.
Zurück zum Zitat Eckert, J.P., Mauchly, J.: First draft report on the UNIVAC. Electronic Control Company, Philadelphia, PA. Herman Goldstine papers, Hampshire College, box 3 (1947) Eckert, J.P., Mauchly, J.: First draft report on the UNIVAC. Electronic Control Company, Philadelphia, PA. Herman Goldstine papers, Hampshire College, box 3 (1947)
5.
Zurück zum Zitat Ensmenger, N.: The multiple meanings of a flowchart. Inf. Cult. 51(3), 321–351 (2016) Ensmenger, N.: The multiple meanings of a flowchart. Inf. Cult. 51(3), 321–351 (2016)
6.
Zurück zum Zitat Floyd, R.W.: Assigning meanings to programs. In: Schwartz, J.T. (ed.) Mathematical Aspects of Computer Science. Proceedings of Symposia in Applied Mathematics, vol. XIX, pp. 19–32. American Mathematical Society (1967) Floyd, R.W.: Assigning meanings to programs. In: Schwartz, J.T. (ed.) Mathematical Aspects of Computer Science. Proceedings of Symposia in Applied Mathematics, vol. XIX, pp. 19–32. American Mathematical Society (1967)
7.
Zurück zum Zitat Gilbreth, F.B., Gilbreth, L.M.: Process charts. American Society of Mechanical Engineers (1921) Gilbreth, F.B., Gilbreth, L.M.: Process charts. American Society of Mechanical Engineers (1921)
8.
Zurück zum Zitat Goldstine, H.H.: Letter to Douglas Hartree. Herman Goldstine papers, American Philosophical Society, box 3, 16 September 1947 Goldstine, H.H.: Letter to Douglas Hartree. Herman Goldstine papers, American Philosophical Society, box 3, 16 September 1947
9.
Zurück zum Zitat Goldstine, H.H.: The Computer from Pascal to von Neumann. Princeton University Press, Princeton (1972)MATH Goldstine, H.H.: The Computer from Pascal to von Neumann. Princeton University Press, Princeton (1972)MATH
10.
Zurück zum Zitat Goldstine, H.H., von Neumann, J.: unpublished draft of [11]. John von Neumann papers, Library of Congress, box 33, folder 7 (1946) Goldstine, H.H., von Neumann, J.: unpublished draft of [11]. John von Neumann papers, Library of Congress, box 33, folder 7 (1946)
11.
Zurück zum Zitat Goldstine, H.H., von Neumann, J.: Planning and coding problems for an electronic computing instrument, Part II, vol. 1. The Institute for Advanced Study (1947) Goldstine, H.H., von Neumann, J.: Planning and coding problems for an electronic computing instrument, Part II, vol. 1. The Institute for Advanced Study (1947)
12.
Zurück zum Zitat Haigh, T., Priestley, M., Rope, C.: ENIAC in Action: Making and Remaking the Modern Computer. MIT Press, Cambridge (2016)CrossRef Haigh, T., Priestley, M., Rope, C.: ENIAC in Action: Making and Remaking the Modern Computer. MIT Press, Cambridge (2016)CrossRef
13.
Zurück zum Zitat Hartree, D.R.: Letter to Herman Goldstine. Herman Goldstine papers, American Philosophical Society, box 3, 7 September 1947 Hartree, D.R.: Letter to Herman Goldstine. Herman Goldstine papers, American Philosophical Society, box 3, 7 September 1947
14.
Zurück zum Zitat Hartree, D.R.: Calculating Instruments and Machines. The University of Illinois Press, Urbana (1949)MATH Hartree, D.R.: Calculating Instruments and Machines. The University of Illinois Press, Urbana (1949)MATH
15.
Zurück zum Zitat Hartree, D.R.: Numerical Analysis. Oxford University Press, Oxford (1952)MATH Hartree, D.R.: Numerical Analysis. Oxford University Press, Oxford (1952)MATH
16.
Zurück zum Zitat Jones, C.B.: The early search for tractable ways of reasoning about programs. IEEE Ann. Hist. Comput. 25(2), 26–49 (2003)MathSciNetCrossRef Jones, C.B.: The early search for tractable ways of reasoning about programs. IEEE Ann. Hist. Comput. 25(2), 26–49 (2003)MathSciNetCrossRef
17.
18.
20.
Zurück zum Zitat Turing, A.M.: Report on visit to U.S.A., 1st–20th January 1947. Mathematics Division [NPL], 3 February 1947 Turing, A.M.: Report on visit to U.S.A., 1st–20th January 1947. Mathematics Division [NPL], 3 February 1947
21.
Zurück zum Zitat Turing, A.M.: Checking a large routine. In: Report of a Conference on High Speed Automatic Calculating Machines, 22–25 June 1949. pp. 70–72. University Mathematical Laboratory, Cambridge (1949). Reprinted in [24], pp. 3–164 Turing, A.M.: Checking a large routine. In: Report of a Conference on High Speed Automatic Calculating Machines, 22–25 June 1949. pp. 70–72. University Mathematical Laboratory, Cambridge (1949). Reprinted in [24], pp. 3–164
22.
Zurück zum Zitat Voller, W.R.: Modern Flour Millling, 3rd edn. D. Van Nostrand Company, New York (1897) Voller, W.R.: Modern Flour Millling, 3rd edn. D. Van Nostrand Company, New York (1897)
23.
Zurück zum Zitat von Neumann, J.: Letter to Herman Goldstine. Herman Goldstine papers, American Philosophical Society, box 20, 2 March 1947 von Neumann, J.: Letter to Herman Goldstine. Herman Goldstine papers, American Philosophical Society, box 20, 2 March 1947
24.
Zurück zum Zitat Williams, M.R., Campbell-Kelly, M. (eds.): The Early British Computer Conferences. Charles Babbage Institute Reprint Series for the History of Computing, vol. 14. The MIT Press, Cambridge (1989) Williams, M.R., Campbell-Kelly, M. (eds.): The Early British Computer Conferences. Charles Babbage Institute Reprint Series for the History of Computing, vol. 14. The MIT Press, Cambridge (1989)
Metadaten
Titel
Flow Diagrams, Assertions, and Formal Methods
verfasst von
Mark Priestley
Copyright-Jahr
2020
DOI
https://doi.org/10.1007/978-3-030-54997-8_1