Application of program-analysis theory to program design. Methodologies for large-scale program design. Designed to help students bring together theoretical and programming skills. Computer Science 337 and 337H may not both be counted. Three lecture hours and one discussion hour a week for one semester.