Graduate

Courses

Computer Science

B522 Programming Language Foundations

Credits: 3

Prerequisite(s): CSCI-C 311 or B 521 and B 510.

Introduction to denotational, operational, and axiomatic approaches to programming language semantics. Semantic analysis of major programming language features. Logics of programs.

  • Course History

      Spring 2017


      Instructor: Amr Sabry
      Time: 11:15AM-12:30PM Tue, Thu
      Location: Lindley Hall, Room 008

      Spring 2016


      Instructor: Sam Tobin-Hochstadt
      Time: 11:15AM-12:30PM Tue, Thu
      Location: Lindley Hall, Room 008
      Course URL (syllabus link or course homepage)

      Spring 2015


      Instructor: Jeremy Siek
      Time: 9:30AM-10:45AM Tue, Thu
      Location: Lindley Hall, Room 035
      Course URL (syllabus link or course homepage)

      Spring 2014


      Instructor: Amr Sabry
      Time: 9:30AM-10:45AM Tue, Thu
      Location: Lindley Hall, Room 035

      Spring 2013


      Instructor: Amr Sabry
      Time: 9:30AM-10:45AM Tue, Thu
      Location: Informatics West, Room 107

      Spring 2012


      Instructor: Amr Sabry
      Time: 9:30AM-10:45AM Tue, Thu
      Location: Informatics West, Room 107
      Course URL (syllabus link or course homepage)
      Supplementary Description: The course is about the mathematical and logical foundations of programming language semantics. We will cover the lambda calculus, syntactic theories, abstract machines, type theory, and proof techniques (manual and automated) for reasoning about program invariants. B521 or equivalent is an absolute prerequisite

      Spring 2011


      Instructor: Amr Sabry
      Time: 9:30AM-10:45AM Tue, Thu
      Location: Informatics West, Room 107
      Course URL (syllabus link or course homepage)