Javascript is currently not supported, or is disabled by this browser. Please enable Javascript for full functionality.

    Oct 16, 2021  
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