CSCI-B 522 PROGRAMMING LANGUAGE FOUNDATIONS (3 CR.)
Introduction to denotational, operational, and axiomatic approaches to programming language semantics. Semantic analysis of major programming language features. Logics of programs.
1 classes found
Spring 2025
| Component | Credits | Class | Status | Time | Day | Facility | Instructor |
|---|---|---|---|---|---|---|---|
| LEC | 3 | 10053 | Open | 11:10 a.m.–12:25 p.m. | MW | WY 115 | Angiuli C |
Regular Academic Session / In Person
LEC 10053: Total Seats: 20 / Available: 14 / Waitlisted: 0
Lecture (LEC)
- B 522 - P - CSCI-C 311 or B 521 and B 510