CS 4110

Last Updated

  • Schedule of Classes - March 3, 2021 7:15PM EST
  • Course Catalog - March 3, 2021 7:16PM EST

CS 4110
Programming Languages and Logics

Course information provided by the Courses of Study 2020-2021.

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.  Combined with: CS 5110

  • 4 Credits Opt NoAud

  • 17805 CS 4110   LEC 001

  •  

  • Instruction Mode: Hybrid-Online and In Person
    It is expected that undergraduate students enroll in the 4000-level section of this class and graduate students enroll in the 5000-level section of this class.
    Hybrid: rotational in person attendance to be determined by instructor.
    Enrollment limited to students who are able to attend in-person classes in the Ithaca area.

Syllabi: none

  •   Regular Academic Session.  Combined with: CS 5110

  • 4 Credits Opt NoAud

  • 20137 CS 4110   LEC 002

  •  
    • MWF Online Meeting
    • Sep 2 - Dec 16, 2020

    • Foster, N

  • Instruction Mode: Online