CS 5110

Last Updated

  • Schedule of Classes - January 31, 2019 7:14PM EST
  • Course Catalog - January 31, 2019 7:15PM EST

CS 5110
Programming Languages and Logics

Course information provided by the Courses of Study 2018-2019.

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.

Comments Co-meets with CS 4110.

View Enrollment Information

Syllabi: none

  •   Regular Academic Session.  Combined with: CS 4110

  • 4 Credits Stdnt Opt

  • 17053 CS 5110   LEC 001

  •  

  • Enrollment limited to CIS students only. All others may add themselves to the waitlist during add/drop. Please go to http://www.cs.cornell.edu/courseinfo/enrollment for updates. It is expected that undergraduate students enroll in the 4000-level section of this class and graduate students enroll in the 5000-level section of this class.