CMPU 245 - Declarative Programming Models

1 unit(s)

Declarative programming languages are important alternatives to the imperative languages used in most software systems. This course covers two kinds of declarative programming: functional programming and logic programming. Topics include the semantics of declarative languages, techniques for programming in declarative languages, and the use of mathematical logic as a tool for reasoning about programs.

Prerequisites: CMPU 102 and CMPU 145.

Two 75-minute periods.