CS 5110

Last Updated

  • Schedule of Classes - July 10, 2025 1:15PM EDT
  • Course Catalog - June 11, 2015 6:21PM EDT

CS 5110
Programming Languages and Logics

Course information provided by the 2014-2015 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/Corequisites Prerequisite: CS 3110 or permission of instructor.

When Offered Fall.

Comments Co-meets with CS 4110.

View Enrollment Information

Syllabi: none

  •   Regular Academic Session.  Combined with: CS 4110

  • 4 Credits Stdnt Opt

  • 17259 CS 5110   LEC 001

  •  

  • Instruction Mode: In Person