Courses of Study 2013-2014 
    
    Mar 28, 2024  
Courses of Study 2013-2014 [ARCHIVED CATALOG]

Add to Favorites (opens a new window)

CS 6116 - [Programming Languages and Logics Laboratory]


Spring. 2 credits.

Previous or concurrent enrollment in CS 6110  required. Next offered 2015-2016.

Staff.

This course assumes material from CS 6110, Advanced Programming Languages. The course examines applications of programming language concepts in other domains, including domain specific languages, programming logics, program verification systems, and logical programming environments. The course also presents applications of formal methods to the design of programming languages and to the formal verification of aspects of their implementation. We use the ML family of programming languages and, perhaps, the Scheme/Lisp family to illustrate the concepts and methods.



Add to Favorites (opens a new window)