Skip to main content
SpringerLink
Log in

Run-time checking of data access in pascal-like languages

  • Section V - Workshop Position Papers
  • Conference paper
  • First Online:
Design and Implementation of Programming Languages

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

  • 113 Accesses

Abstract

Until it becomes possible to rigorously prove the correctness of programs of substantial size, careful and thorough run-time checking will play an essential role in the development and maintenance of reliable software. We believe that typed pointers and discriminated unions are fundamental data abstractions which are of great use in a wide variety of programming languages and programming endeavors. It then follows that efficient, thorough and optimizable checks which monitor them at run-time are an essential adjunct to their use. Certainly our experience with PASCAL has convinced us of their utility. Although run-time checks are often held in disrepute, we should not ask ourselves, “Can I afford them?” but rather “Can I afford to be without them?”.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Dahl, Ole-Johan, Bjorn Myhrhhang amd Kristen Nvgaard, "SIMULA 67 Common Base Language", Norwegian Computing Center, Oslo, Norway (1970).

    Google Scholar 

  2. Jensen, Kathleen and Niklaus Wirth, PASCAL User Manual and Report, 2nd Ed. Springer-Verlag, Berlin (1976).

    Google Scholar 

  3. Kildall, G.A., "A Unified Approach to Global Program Optimization", Conf. Record, ACM Symp. on Principles of Programming Languages. Boston, Mass, 1973. pp. 194–206.

    Google Scholar 

  4. Van Wijngaarden, A. (ed), "Revised Report on the Algorithmic Language ALGOL 68", Acta Informatica, 5 (1975).

    Google Scholar 

  5. Wirth, Niklaus, "The Programming Language PASCAL", Acta Informatica, 1, p. 35–63 (1971).

    Google Scholar 

  6. Wirth, Niklaus, "An Assessment of the Programming Language PASCAL", Proceedings of the International Conference on Reliable Software, 21–23 April 1975, p. 23–30.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Sciences Department, University of Wisconsin, Madison, Wisconsin

    Charles N. Fischer & Richard J. LeBlanc

Authors
  1. Charles N. Fischer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Richard J. LeBlanc
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

John H. Williams David A. Fisher

Rights and permissions

Reprints and permissions

Copyright information

© 1977 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fischer, C.N., LeBlanc, R.J. (1977). Run-time checking of data access in pascal-like languages. In: Williams, J.H., Fisher, D.A. (eds) Design and Implementation of Programming Languages. Lecture Notes in Computer Science, vol 54. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0021424

Download citation

  • DOI: https://doi.org/10.1007/BFb0021424

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-08360-3

  • Online ISBN: 978-3-540-37260-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation