CS 4110

Last Updated

  • Schedule of Classes - March 20, 2026 3:39PM EDT

CS 4110
Programming Languages and Logics

Course information provided by the 2026-2027 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 CS 3110 or permission of instructor.

Distribution Requirements (SMR-AS)

Last 4 Terms Offered 2025FA, 2024SP, 2021FA, 2020FA

Learning Outcomes

  • Describe the semantics of common programming language features using operational, denotational, and axiomatic techniques.
  • Construct formal proofs about programming language features using induction and precise logical reasoning.
  • Design and implement definitional interpreters for common programming language features.

View Enrollment Information

Syllabi: none

  •   Regular Academic Session.  Combined with: CS 5110

  • 4 Credits Opt NoAud

  •  6650 CS 4110   LEC 001

  •  
    • MWF
    • Aug 24 - Dec 7, 2026

    • Foster, N

  • Instruction Mode: In Person

    For Bowers Computer and Information Science (CIS) Course Enrollment Help, please see: https://tdx.cornell.edu/TDClient/193/Portal/Home/