Courses of Study 2018-2019 
    Aug 20, 2019  
Courses of Study 2018-2019 [ARCHIVED CATALOG]

[Add to Favorites]

CS 4110 - Programming Languages and Logics

Fall. 4 credits. Student option grading.

Prerequisite: CS 3110  or permission of instructor. Co-meets with CS 5110 .


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.

[Add to Favorites]