CS 4110

Last Updated

  • Schedule of Classes - April 26, 2024 7:29PM EDT
  • Course Catalog - April 26, 2024 7:06PM EDT

CS 4110
Programming Languages and Logics

Course information provided by the Courses of Study 2023-2024.

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.

Distribution Category (SMR-AS)

View Enrollment Information

Syllabi: none

  •   Regular Academic Session.  Choose one lecture and one project. Combined with: CS 5110

  • 4 Credits Stdnt Opt

  • 19883 CS 4110   LEC 001

  •  

  • Instruction Mode: In Person
    Enrollment limited to CS students only. All others should add themselves to the waitlist when add/drop opens in January. See enrollment webpage for more details: https://www.cs.cornell.edu/courseinfo/enrollment/cs-4000-5000-level-courses

  • 19884 CS 4110   PRJ 601

  •  
    • TBA
    • Jan 22 - May 7, 2024

    • Staff

  • Instruction Mode: In Person