CS 4110

Last Updated

  • Schedule of Classes - June 11, 2025 2:48PM 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.


Distribution Requirements (SMR-AS)

Last 3 terms offered 2024SP, 2021FA, 2020FA

Learning Outcomes REF-FA25

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