Courses of Study 2019-2020 
    
    Mar 28, 2024  
Courses of Study 2019-2020 [ARCHIVED CATALOG]

Add to Favorites (opens a new window)

CS 6110 - Advanced Programming Languages


     
Spring. 4 credits. Student option grading.

Enrollment limited to: graduate standing or permission of instructor.

Staff.

Study of programming paradigms: functional, imperative, concurrent, and probabilistic programming. Mathematical foundations: inductive definitions, fixed points, and formal semantics. Models of programming languages including the lambda calculus. Type systems, polymorphism, modules, and object-oriented constructs. Program transformations, program logic, and applications to programming methodology. 



Add to Favorites (opens a new window)