Aug 18, 2022  
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