CS254r: Programming Methodologies;
Catalog Number: 2767
Half course (spring term). F., 2:30-4:30. EXAM GROUP: 7, 8, 9
The Official Statement
Investigates program analysis,
verification, and refinement; programming paradigms including those for
parallel and distributed programming;
program development and maintenance environments.
This year the course will study the typed lambda calculus in depth.
Prerequisite: This year: Computer Science 152 or permission of the
(including course details)