CS 6116 - [Programming Languages and Logics Laboratory]

Spring. Not offered 2016-2017. 2 credits.

Prerequisite or corequisite: CS 6110.

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.