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 2021-2022 Catalog.

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.


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

When Offered Fall.

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