The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - July (1980 vol.6)
pp: 313-319
C.N. Fischer , Department of Computer Science, University of Wisconsin
ABSTRACT
This paper considers the role of run-time diagnostic checking in enforcing the rules of the Pascal programming language. Run-time diagnostic checks must be both complete (covering all language requirements) and efficient. Further, such checks should be implemented so that the cost of enforcing the correct use of a given construct is borne by users of that construct. This paper descxibes simple and efficient mechanisms currently in use with a diagnostic Pascal compiler that monitor the run-time behavior of such sensitive Pascal constructs as pointers, variant records, reference (i.e., var) parameters, and with statements. The use of these mechanisms with related constructs in other languages is considered. Language modifications that simplify run-time checking ate also noted.
INDEX TERMS
variant record checking, Diagnostic compiler, Pascal, pointer checking, reference parameter checking, run-time checking
CITATION
C.N. Fischer, R.J. LeBlanc, "The Implementation of Run-Time Diagnostics in Pascal", IEEE Transactions on Software Engineering, vol.6, no. 4, pp. 313-319, July 1980, doi:10.1109/TSE.1980.230482
19 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool