CSC 620 - Formal Methods in Programming Languages

3 hrs.

Prerequisite(s): CSC 616. Data and control abstractions. Backtracking and nondeterminism. Functional and logic programming. Program specification and verification.