CS254r: Programming Methodologies
Professor Thomas E. Cheatham Jr.
Theoretical Quantum Computers: Friday 1:00-2:30
Activity Coordination System: Friday 2:30-4:30
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.