Skip over navigation

Course Offerings

Course Evaluation Results

Course Details

Fall 2018-2019
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 First Year Undergraduates.

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
22114 L01 10:00:00 am - 10:50:00 am T Th        Enrolled:0 Limit:0 Canceled