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

  • Charles N. Fischer
  • Richard J. LeBlanc
Section V - Workshop Position Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 54)


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?”.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Dahl, Ole-Johan, Bjorn Myhrhhang amd Kristen Nvgaard, "SIMULA 67 Common Base Language", Norwegian Computing Center, Oslo, Norway (1970).Google Scholar
  2. [2]
    Jensen, Kathleen and Niklaus Wirth, PASCAL User Manual and Report, 2nd Ed. Springer-Verlag, Berlin (1976).Google Scholar
  3. [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. [4]
    Van Wijngaarden, A. (ed), "Revised Report on the Algorithmic Language ALGOL 68", Acta Informatica, 5 (1975).Google Scholar
  5. [5]
    Wirth, Niklaus, "The Programming Language PASCAL", Acta Informatica, 1, p. 35–63 (1971).Google Scholar
  6. [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

Copyright information

© Springer-Verlag Berlin Heidelberg 1977

Authors and Affiliations

  • Charles N. Fischer
    • 1
  • Richard J. LeBlanc
    • 1
  1. 1.Computer Sciences DepartmentUniversity of WisconsinMadison

Personalised recommendations