Skip over navigation

Course Offerings

Course Evaluation Results

Course Details

Spring 2012-2013
COS 510   Graded A-F, P/D/F, Audit

Programming Languages

Andrew W. Appel

Logic and formal reasoning about software, treating programs and programming languages as mathematical objects about which precise claims can be made. Basic concepts and techniques such as operational semantics and axiomatic semantics for specifying programming languages; structure, definition and properties of type systems; invariants and assertions for specifying programs. Use of automated tools such as interactive proof assistants, model checkers, and/or satisfiability-modulo-theories solvers.


Other Requirements:
Not Open to Freshmen.

Prerequisites and Restrictions:
Undergraduates: COS326 or permission of instructor. Graduates: none.

Other information:
Undergraduates: counts toward Theory requirements. Graduates: satisfies Theory core requirement. Additional lab sections will be created as needed.

Schedule/Classroom assignment:

Class numberSectionTimeDaysRoomEnrollmentStatus
43013 L01 10:00 am - 10:50 am T Th   Computer Science Building   102   Enrolled:12 Limit:30
B01 10:00 am - 10:50 am F   Friend Center   009   Enrolled:0 Limit:30
B02 11:00 am - 11:50 am F   Friend Center   009   Enrolled:0 Limit:30