CSE210B: Advanced Programming Languages
Covers issues in the design, implementation, analysis, and specification of programming languages. Topics include formal semantics (including operational, axiomatic, and denotational semantics), advanced type systems, program analysis (including abstract interpretation and model checking), specification, and verification.5 credits
Year | Fall | Winter | Spring | Summer |
---|---|---|---|---|
2021-22 |
|
While the information on this web site is usually the most up to date, in the event of a discrepancy please contact your adviser to confirm which information is correct.