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