Sep 29, 2023  
2020-2021 Graduate Catalog 
2020-2021 Graduate Catalog [ARCHIVED CATALOG]

COP 6021 Programming Languages: Design and Analysis

Credit Hours: 3

In-depth, graduate-level study of the design and analysis of programming languages. Functional programming, deductive systems, operational semantics, type systems, and proofs of type safety.

USF | College of Engineering | Computer Science and Engineering