C0 Reference 15-122: Principles of Imperative Computation

DMCA

C0 Reference 15-122: Principles of Imperative Computation (2010)

Cached

Save to List
Add to Collection
Correct Errors
Monitor Changes

by Frank Pfenning

BibTeX

@MISC{Pfenning10c0reference,
    author = {Frank Pfenning},
    title = {C0 Reference 15-122: Principles of Imperative Computation},
    year = {2010}
}

OpenURL

Abstract

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 reliably

Keyphrases

c0 reference imperative computation introductory algorithm programming language c0 straightforward safe implementation imperative programming bound array array element