Program checking

  • Graeme Williams
  • Published 1979 in SIGPLAN Symposium on Compiler Construction


In languages such as Pascal, the programmer can arrange to have the compiler check such things as the range of the value of a variable only by defining a new type or sub-type. I have investigated how more powerful checking facilities might be provided if they were divorced from the type machinery, and also if the necessary language constructs were designed… (More)
DOI: 10.1145/800229.806950


Cite this paper

@inproceedings{Williams1979ProgramC, title={Program checking}, author={Graeme Williams}, booktitle={SIGPLAN Symposium on Compiler Construction}, year={1979} }