The programming language C0 is a carefully crafted subset of the C aimed at teaching introductory algorithms and imperative programming. It is restricted enough to permit a straightforward safe implementation in which attempts to access an array element out of bounds array can be reliabl
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.