~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
From the Academic Catalog:

CSC 201 
Memory Management, Data Representation, and Formal Methods (Spring) 4 credits

Study of machine-level representations of data and techniques for managing
storage, using formal methods of program design and a low- or mid-level
programming language, such as C. Topics include Boolean logic and proof,
language semantics, assertions and invariants, numerical approximations and
errors, pointers, memory allocation and deallocation, and the run-time
stack. Prerequisites: Computer Science 152, or 153, or Computer Science 151
and additional programming experience in an imperative language; or
permission of instructor. STAFF.

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~