CS254r: Programming Methodologies

Professor Thomas E. Cheatham Jr.

Theoretical Quantum Computers: Friday 1:00-2:30

Activity Coordination System: Friday 2:30-4:30

ESL 412

The Official Statement

Investigation of issues relating to various programming methodologies including techniques for structured programming, programming by refinement, and program analysis and verification. Discussion of program development and maintenance environments. Particular emphasis given to programming for highly parallel architectures.