CS 5110

Last Updated

  • Schedule of Classes - February 7, 2022 7:27PM EST
  • Course Catalog - February 7, 2022 7:14PM EST

CS 5110
Programming Languages and Logics

Course information provided by the Courses of Study 2021-2022.

An introduction to the theory, design, and implementation of programming languages. Topics include operational semantics, type systems, higher-order functions, scope, lambda calculus, laziness, exceptions, side effects, continuations, objects, and modules. Also discussed are logic programming, concurrency, and distributed programming.

When Offered Fall.

Prerequisites/Corequisites Prerequisite: CS 3110 or permission of instructor.

View Enrollment Information

Syllabi:

  •   Regular Academic Session.  Combined with: CS 4110

  • 4 Credits Stdnt Opt

  • 17584 CS 5110   LEC 001

  •  

  • Instruction Mode: In Person
    Direct enrollment is restricted to CS PhD, MS and MEng students. Seniors taking courses for M.Eng credit and all other graduate and professional students must add themselves to the waitlist during add/drop. Undergraduates who are not taking M.Eng credit will not be permitted and must enroll/waitlist for the 4xxx version. See website for details: http://www.cs.cornell.edu/courseinfo/enrollment/cs-4000-5000-level-courses