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 2022
| Component | Credits | Class | Status | Time | Day | Facility | Instructor |
|---|---|---|---|---|---|---|---|
| LEC | 3 | 30915 | Open | 3:00 p.m.–4:15 p.m. | MW | BH 242 | Tobin-Hochstadt S |
Regular Academic Session / In Person
LEC 30915: Total Seats: 25 / Available: 15 / Waitlisted: 0
Lecture (LEC)
- B 522 - P - CSCI-C 311 or B 521 and B 510
- Above class meets In Person. For more information visit https://covid.iu.edu/learning-modes/index.html