CS 4110

Last Updated

  • Schedule of Classes - June 21, 2024 12:50PM EDT
  • Course Catalog - June 6, 2024 12:59PM EDT

CS 4110
Programming Languages and Logics

Course information provided by the 2024-2025 Catalog. Courses of Study 2024-2025 is scheduled to publish mid-June.

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/Corequisites Prerequisite: CS 3110 or permission of instructor.

Last 4 Terms Offered (None)

Distribution Category (SMR-AS)

When Offered Fall.

View Enrollment Information

Syllabi: none

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

  • 4 Credits Stdnt Opt

  • 11112 CS 4110   LEC 001

  •  
    • MWF
    • Jan 21 - May 6, 2025

    • Sampson, A

  • Instruction Mode: In Person

    Enrollment limited to: Computer Science students.
    For Bowers CIS Course Enrollment Help, please see: https://tdx.cornell.edu/TDClient/193/Portal/Home/

  • 11113 CS 4110   PRJ 601

  •  
    • Jan 21 - May 6, 2025

    • Staff

  • Instruction Mode: In Person