CSCI2730
(Formerly CS273 )Programming Language Theory
- Instructor(s):
- Course Home Page:
| Offered This Year? | No |
| When Offered? | Occasionally |
Description
Theoretical models for the semantics of programming languages and the verification of programs. Topics include operational semantics, denotational semantics, type theory and static analyses. Prerequisite: CSCI1730 or permission of the instructor.
| Page Owner: webmaster | Last Modified: Tue Mar 25 15:07:08 2008 |