Mar 28, 2024  
Catalogue 2019-2020 
    
Catalogue 2019-2020 [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

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. Luke Hunsberger.

Prerequisite(s): CMPU 102  and CMPU 145 .

Two 75-minute periods.

Not offered in 2019/20.

Course Format: CLS



Add to Portfolio (opens a new window)