Article

Free access

Efficient implementation and optimization of run-time checking in PASCAL

Authors:

Charles N. Fischer,

Richard J. LeBlancAuthors Info & Claims

Proceedings of an ACM conference on Language design for reliable software

Pages 19 - 24

https://doi.org/10.1145/800022.808308

Published: 01 March 1977 Publication History

PDF eReader

Abstract

Complete run-time checking of programs is an essential tool for the development of reliable software. A number of features of the programming language PASCAL (arrays, subranges, pointers, record variants (discriminated type unions), formal procedures, etc.) can require some checking at run-time as well as during compilation. The problem of efficiently implementing such checking is considered. Language modifications to simplify such checking are suggested. The possibility of optimizing such checking is discussed.

References

[1]

Dahl, Ole-Johan, Bjorn Myhrhaug and Kristen Nygaard, "SIMULA 67 Common Base Language", Norwegian Computing Center, Oslo, Norway (1970).

Digital Library

Google Scholar

[2]

Fischer, C.N. and R.J. LeBlanc, "University of Wisconsin PASCAL User's Guide". In preparation.

Google Scholar

[3]

Hansen, Per Brinch and Alfred Hartman, "Sequential PASCAL Report". Information Science, California Institute of Technology (1975).

Google Scholar

[4]

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

Digital Library

Google Scholar

[5]

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

Digital Library

Google Scholar

[6]

Lecarme, O. and P. Desjardins, "Reply to a Paper by A.N. Habermann on the Programming Language PASCAL". SIGPLAN Notices 9, pp. 21-27 (1974).

Digital Library

Google Scholar

[7]

Schaefer, Marvin, A Mathematical Theory of Global Program Optimization. Prentice-Hall, Englewood Cliffs, N.J. (1973).

Digital Library

Google Scholar

[8]

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

Google Scholar

[9]

Wirth, Niklaus, "The Programming Language PASCAL", Acta Informatica, 1, pp. 35-63 (1971).

Digital Library

Google Scholar

[10]

Wirth, Niklaus, "An Assessment of the Programming Language PASCAL", Proceedings of the International Conference on Reliable Software, 21-23 April 1975, pp. 23-30 (1975).

Digital Library

Google Scholar

[11]

Wirth, Niklaus, PASCAL Newsletter, No. 5, September 1976, p. 29 (1976).

Google Scholar

[12]

Hamlet, R.G., "High-Level Binding with Low-Level Linkers", CACM 19, 11, pp. 642-644 (1976).

Digital Library

Google Scholar

Cited By

View all

Popek GHorning JLampson BMitchell JLondon R(1983)Notes on the Design of EuclidProgramming Languages10.1007/978-3-662-09507-2_16(252-259)Online publication date: 1983
https://doi.org/10.1007/978-3-662-09507-2_16
Popek GHorning JLampson BMitchell JLondon R(1977)Notes on the design of EuclidACM SIGSOFT Software Engineering Notes10.1145/390019.8083072:2(11-18)Online publication date: 1-Mar-1977
https://dl.acm.org/doi/10.1145/390019.808307
Popek GHorning JLampson BMitchell JLondon R(1977)Notes on the design of EuclidACM SIGOPS Operating Systems Review10.1145/390018.80830711:2(11-18)Online publication date: 1-Mar-1977
https://dl.acm.org/doi/10.1145/390018.808307
Show More Cited By

Index Terms

Efficient implementation and optimization of run-time checking in PASCAL
1. Software and its engineering
  1. Software notations and tools
    1. Compilers
      1. Runtime environments
    2. General programming languages
      1. Language types

Recommendations

Efficient implementation and optimization of run-time checking in PASCAL
Proceedings of an ACM conference on Language design for reliable software

Complete run-time checking of programs is an essential tool for the development of reliable software. A number of features of the programming language PASCAL (arrays, subranges, pointers, record variants (discriminated type unions), formal procedures, ...
Efficient implementation and optimization of run-time checking in PASCAL
Proceedings of an ACM conference on Language design for reliable software

Complete run-time checking of programs is an essential tool for the development of reliable software. A number of features of the programming language PASCAL (arrays, subranges, pointers, record variants (discriminated type unions), formal procedures, ...
Efficient implementation and optimization of run-time checking in PASCAL
Proceedings of an ACM conference on Language design for reliable software

Complete run-time checking of programs is an essential tool for the development of reliable software. A number of features of the programming language PASCAL (arrays, subranges, pointers, record variants (discriminated type unions), formal procedures, ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Proceedings of an ACM conference on Language design for reliable software

March 1977

142 pages

ISBN:9781450373807

DOI:10.1145/800022

Editor:
David B. Wortman

ACM SIGSOFT Software Engineering Notes Volume 2, Issue 2
Proceedings of an ACM conference on Language design for reliable software
March 1977
142 pages
ISSN:0163-5948
DOI:10.1145/390019
Editor:
David B. Wortman
Issue’s Table of Contents
ACM SIGOPS Operating Systems Review Volume 11, Issue 2
Proceedings of an ACM conference on Language design for reliable software
April 1977
142 pages
ISSN:0163-5980
DOI:10.1145/390018
Editor:
David B. Wortman
Issue’s Table of Contents
ACM SIGPLAN Notices Volume 12, Issue 3
Proceedings of an ACM conference on Language design for reliable software
March 1977
142 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/390017
Editor:
David B. Wortman
Issue’s Table of Contents

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 March 1977

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

10
Total Citations
View Citations
565
Total Downloads

Downloads (Last 12 months)155
Downloads (Last 6 weeks)31

Reflects downloads up to 25 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Popek GHorning JLampson BMitchell JLondon R(1983)Notes on the Design of EuclidProgramming Languages10.1007/978-3-662-09507-2_16(252-259)Online publication date: 1983
https://doi.org/10.1007/978-3-662-09507-2_16
Popek GHorning JLampson BMitchell JLondon R(1977)Notes on the design of EuclidACM SIGSOFT Software Engineering Notes10.1145/390019.8083072:2(11-18)Online publication date: 1-Mar-1977
https://dl.acm.org/doi/10.1145/390019.808307
Popek GHorning JLampson BMitchell JLondon R(1977)Notes on the design of EuclidACM SIGOPS Operating Systems Review10.1145/390018.80830711:2(11-18)Online publication date: 1-Mar-1977
https://dl.acm.org/doi/10.1145/390018.808307
Popek GHorning JLampson BMitchell JLondon R(1977)Notes on the design of EuclidACM SIGPLAN Notices10.1145/390017.80830712:3(11-18)Online publication date: 1-Mar-1977
https://dl.acm.org/doi/10.1145/390017.808307
Leblanc RFischer C(2006)A case study of run‐time errors in Pascal programsSoftware: Practice and Experience10.1002/spe.438012090312:9(825-834)Online publication date: 27-Oct-2006
https://doi.org/10.1002/spe.4380120903
Welsh J(2006)Economic range checks in pascalSoftware: Practice and Experience10.1002/spe.43800801108:1(85-97)Online publication date: 27-Oct-2006
https://doi.org/10.1002/spe.4380080110
Horning J(2005)A case study in language design: EuclidProgram Construction10.1007/BFb0014665(125-132)Online publication date: 9-Jun-2005
https://doi.org/10.1007/BFb0014665
Marlin C(2005)Conclusions and further researchCoroutines10.1007/3-540-10256-6_7(191-228)Online publication date: 26-May-2005
https://doi.org/10.1007/3-540-10256-6_7
Fischer CLeBlanc R(1980)The Implementation of Run-Time Diagnostics in PascalIEEE Transactions on Software Engineering10.1109/TSE.1980.2304826:4(313-319)Online publication date: 1-Jul-1980
https://dl.acm.org/doi/10.1109/TSE.1980.230482
LeBlanc R(1978)Extensions to PASCAL for separate compilationACM SIGPLAN Notices10.1145/987649.98765213:9(30-33)Online publication date: 1-Sep-1978
https://dl.acm.org/doi/10.1145/987649.987652

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations