CS 5110

Last Updated

  • Schedule of Classes - January 14, 2015 6:16PM EST
  • Course Catalog - January 14, 2015 6:21PM EST

CS 5110
Programming Languages and Logics

Course information provided by the Courses of Study 2014-2015.

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.

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: