Skip to main content
SpringerLink
Log in

On the Most Recent Property of ALGOL-Like Programs

  • Conference paper
Automata, Languages and Programming (ICALP 1974)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 14))

Included in the following conference series:

Abstract

The paper is concerned with the most recent property of ALGOL-like programs, which has been discussed by Wegner and McGowan([6],[6])and dates back to Dijkstra [l]. A program has the most recent property if at run time the static chain pointer of a procedure φ always points to the most recent, not yet completed, activation of that procedure ψ which lexicographically encloses φ. A run time system cannot apply this most recent strategy for alle programs of a programming language; examples are given for BL in [5],p. 196, and for ALGOL 60 in [2], p. 108. In a main theorem McGowan gives sufficient compile time decidable conditions for the most recent correctness of a BL-program [S].

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Dijkstra, E., “Recursive programming”, in Programming systems and languages, S. Rosen, McGraw-Hill, New York, 1967

    Google Scholar 

  2. Grau, A.A., Hill, U., Langmaack, H., Translation of ALGOL 60, Handbook für Automatic Computation, Vol. Ib, Berlin-HeidelbergNew York, 1967

    Google Scholar 

  3. Kandzia, P., Langmaack H.,“On a theorem of McGowan concerning the most recent property of programs with procedures, Berichte des Fachbereichs Angew. Math. u. Informatik, Univ. d. Saarlandes, Nr. A 74 /07, 1974

    Google Scholar 

  4. Langmaack, H., “On correct procedure parameter transmission in higher programming languages”, in Acta Informatica 2,110–142, 1973

    Google Scholar 

  5. McGowan, C.L., “The ”most recent“ error: its causes and correction”, in Proceedings of an ACM conference on proving assertions about programs, SIGPLAN Notices, Vol. 7, Number 1, 1972

    Google Scholar 

  6. Wegner, P.: “Three computer cultures–computer technology, computer mathematics and computer science”, Advances in Computers 10, 7–78, 1970

    Article  Google Scholar 

Download references

Authors
  1. P. Kandzia
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fachbereich Angewandte Mathematik und Informatik, Universität des Saarlandes, 66 Saarbrücken/BRD, Deutschland

    Jacques Loeckx

Rights and permissions

Reprints and permissions

Copyright information

© 1974 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kandzia, P. (1974). On the Most Recent Property of ALGOL-Like Programs. In: Loeckx, J. (eds) Automata, Languages and Programming. ICALP 1974. Lecture Notes in Computer Science, vol 14. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-21545-6_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-21545-6_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-06841-9

  • Online ISBN: 978-3-662-21545-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation