Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Cover of the book

2020 | OriginalPaper | Chapter

Flow Diagrams, Assertions, and Formal Methods

Author : Mark Priestley

Published in: Formal Methods. FM 2019 International Workshops

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

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!

inform now

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!

inform now

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!

inform now
next chapter The School of Squiggol
Literature
1.
ASME Standard: Operation and flow process charts. American Society of Mechanical Engineers (1947)
2.
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.
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.
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.
Ensmenger, N.: The multiple meanings of a flowchart. Inf. Cult. 51(3), 321–351 (2016)
6.
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.
Gilbreth, F.B., Gilbreth, L.M.: Process charts. American Society of Mechanical Engineers (1921)
8.
Goldstine, H.H.: Letter to Douglas Hartree. Herman Goldstine papers, American Philosophical Society, box 3, 16 September 1947
9.
Goldstine, H.H.: The Computer from Pascal to von Neumann. Princeton University Press, Princeton (1972)MATH
10.
Goldstine, H.H., von Neumann, J.: unpublished draft of [11]. John von Neumann papers, Library of Congress, box 33, folder 7 (1946)
11.
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.
Haigh, T., Priestley, M., Rope, C.: ENIAC in Action: Making and Remaking the Modern Computer. MIT Press, Cambridge (2016)CrossRef
13.
Hartree, D.R.: Letter to Herman Goldstine. Herman Goldstine papers, American Philosophical Society, box 3, 7 September 1947
14.
Hartree, D.R.: Calculating Instruments and Machines. The University of Illinois Press, Urbana (1949)MATH
15.
Hartree, D.R.: Numerical Analysis. Oxford University Press, Oxford (1952)MATH
16.
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.
19.
20.
Turing, A.M.: Report on visit to U.S.A., 1st–20th January 1947. Mathematics Division [NPL], 3 February 1947
21.
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.
Voller, W.R.: Modern Flour Millling, 3rd edn. D. Van Nostrand Company, New York (1897)
23.
von Neumann, J.: Letter to Herman Goldstine. Herman Goldstine papers, American Philosophical Society, box 20, 2 March 1947
24.
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)
Metadata
Title
Flow Diagrams, Assertions, and Formal Methods
Author
Mark Priestley
Copyright Year
2020
Book
Formal Methods. FM 2019 International Workshops

Print ISBN: 978-3-030-54996-1

Electronic ISBN: 978-3-030-54997-8

Copyright Year: 2020

DOI
https://doi.org/10.1007/978-3-030-54997-8_1

Premium Partner

    Image Credits