CS 4110

Last Updated

  • Schedule of Classes - September 7, 2025 7:07PM EDT

CS 4110
Programming Languages and Logics

Course information provided by the 2025-2026 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

  • 19284 CS 4110   LEC 001

  •  
    • MWF
    • Aug 25 - Dec 8, 2025

    • 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/