Economic range checks in pascal
James M. Welsh · Software Practice and Experience · 1978
Abstract A Pascal implementation is described which exploits the information provided by subrange type declarations to minimize the run‐time checking involved in detecting range violations. An evaluation of its performance is given, and some possible modifications are discussed.