Courses of Study 2022-2023 
    
    Mar 29, 2024  
Courses of Study 2022-2023 [ARCHIVED CATALOG]

Add to Favorites (opens a new window)

CS 4110 - [Programming Languages and Logics]


(SMR-AS)      
Fall. Not offered: 2022-2023. Next offered: 2023-2024. 4 credits. Student option grading.

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

A. Sampson.

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 (opens a new window)