Skip to main content
SpringerLink
Log in

Dijkstras fruchtbarer, folgenreicher Irrtum

Teil 2: ,,Most recent“-Eigenschaft eines Programms

  • HISTORISCHE NOTIZEN
  • DIJKSTRAS FOLGENREICHER IRRTUM
  • Published:
Informatik-Spektrum Aims and scope

Zusammenfassung

Teil 2 des vorliegenden Artikels liefert eine an der ALGOL60-Kopierregel orientierte Definition der ,,most recent“-Eigenschaft oder -Korrektheit eines Programms. Anschließend werden Programmbeispiele aus der Fachlitaratur diskutiert, welche die von E.W. Dijkstra behauptete ,,most recent“-Korrektheit aller Programme widerlegen. Anhand weiterer Beispiele möchten deren Autoren zwar die besonderen Komplikationen beim Ausführen formaler Prozeduraufrufe in block- und prozedurgeschachtelten Programmen demonstrieren, treffen aber dennoch nicht die ,,most recent“-Problematik.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Aho AV, Sethi R, Ullman JD (1989) Compiler-Bau, Teil 1. Addison-Wesley-Verlag GmbH Bonn. 2. Aufl., Oldenbourg-Verlag München Wien (1999)

  2. Bauer FL (2008) Bauer FL (2008) Persönliche Mitteilung zu Treffen 1959/60 mit E.W. Dijkstra und K. Samelson im ALGOL60-Komitee

  3. Dijkstra EW (1960) Recursive Programming. Num Math 2:312–318

    Article  MATH  MathSciNet  Google Scholar 

  4. Dijkstra EW (1963) An ALGOL60-translator for the X1. Ann Rev Autom Progr 3:329–345

    Article  Google Scholar 

  5. Grau AA, Hill U, Langmaack H (1967) Translation of ALGOL60. In: Samelson K (chief ed) Handbook for Automatic Computation Ib. Springer, Berlin Heidelberg New York

    Google Scholar 

  6. Gries D, Paul M, Wiehle HR (1965) Some Techniques used in the ALCOR ILLINOIS 7090. CACM 8:496–500

    MATH  Google Scholar 

  7. Gries D (1971) Compiler Construction for Digital Computers. Wiley, New York London Sydney Toronto

    MATH  Google Scholar 

  8. IBM System/360 Operating System PL/1(F) Language Reference Manual (1969)

  9. Jensen K, Wirth N (1975) PASCAL User Manual and Report. Springer, Berlin Heidelberg New York

    MATH  Google Scholar 

  10. Kandzia P, Langmaack H (1974) On a theorem of McGowan concerning the ,,most recent“-property of programs. Bericht A 74/07, Fachb. Ang. Math. Inf., Univ. Saarland, 19 pp

  11. Kandzia P (1974) On the ,,most recent“-property of ALGOL-like programs. In: Loeckx J (ed) Proc. 2nd Coll. Automata, Languages and Programming. LNCS 14, 97–111. Springer, Berlin Heidelberg New York

  12. Knuth DE, Merner JN (1961) ALGOL60 Confidential. Commun ACM 4(6):268–272

    Article  MATH  Google Scholar 

  13. Kruseman Aretz FEJ (Nov 2–4, 2006) Personal communications on [4]. On occasion of: Alberts G (Organizer): Pioneering Software in the 1960s in Germany, The Netherlands and Belgium. Conf. CWI Amsterdam

  14. Langmaack H (1973) On Correct Procedure Parameter Transmission in Higher Programming Languages. Acta Inform 2(2):110–142

    Article  MATH  MathSciNet  Google Scholar 

  15. McGowan CL (1972) The ,,most recent“ error: its causes and correction. In: Proc. ACM Conf. on Proving assertions about programs. SIGPLAN Notices 7, No. 1, SIGACT News 14:191–202

  16. Olderog E-R (1981) Sound and Complete Hoare–like Calculi Based on Copy Rules. Acta Inform 16:161–197

    Article  MATH  MathSciNet  Google Scholar 

  17. Olderog E-R (1981) Charakterisierung Hoarescher Systeme für ALGOL-ähnliche Programmiersprachen. Dissertation. Bericht 5/81, Inst. Informatik Prakt. Math., Univ. Kiel, 185 pp

  18. Olderog E-R, Steffen B (eds) (1999) Correct System Design – Recent Insights and Advances. Festschrift für H. Langmaack. LNCS 1710, Springer, Berlin Heidelberg New York

  19. Randell B, Russell LJ (1964) ALGOL60 Implementation. Academic Press, London New York

    Google Scholar 

  20. Waite WM, Goos G (1984) Compiler Construction. Springer, New York Berlin Heidelberg Tokyo

    MATH  Google Scholar 

  21. Wijngaarden A van (ed), Mailloux BJ, Peck JEL, Koster CHA (1969) Report on the Algorithmic Language ALGOL68. Num Math 14:79–218

    Article  MATH  MathSciNet  Google Scholar 

  22. Wilhelm R (1993) Persönliche Mitteilung zur ,,most recent“-Eigenschaft

  23. Wilhelm R, Maurer D (1992) Übersetzerbau. Theorie, Konstruktion, Generierung. Springer, Berlin Heidelberg New York

    MATH  Google Scholar 

  24. Wilhelm R, Maurer D (1997) Übersetzerbau. Theorie, Konstruktion, Generierung. 2. Auflage. Springer, Berlin Heidelberg NewYork

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Christian-Albrechts-Universität zu Kiel, Christian-Albrechts-Platz 4, 24098, Kiel, Deutschland

    Hans Langmaack

Authors
  1. Hans Langmaack
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Hans Langmaack.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Langmaack, H. Dijkstras fruchtbarer, folgenreicher Irrtum. Informatik Spektrum 33, 384–392 (2010). https://doi.org/10.1007/s00287-010-0446-2

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00287-010-0446-2

Search

Navigation