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 2024
Component | Credits | Class | Status | Time | Day | Facility | Instructor |
---|---|---|---|---|---|---|---|
LEC | 3 | 11503 | Open | 1:15 p.m.–2:30 p.m. | MW | I 232 | Sabry A |
Regular Academic Session / In Person
LEC 11503: Total Seats: 25 / Available: 19 / Waitlisted: 0
Lecture (LEC)
- B 522 - P - CSCI-C 311 or B 521 and B 510