This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
The Implementation of Run-Time Diagnostics in Pascal
July 1980 (vol. 6 no. 4)
pp. 313-319
C.N. Fischer, Department of Computer Science, University of Wisconsin
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
Usage of this product signifies your acceptance of the Terms of Use.