Economic range checks in pascal

Abstract

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.