CIS 806
Semantics of Programming Languages
Kansas State University · UGRD · Fall 2026
1 section
Catalog description
Introduction of formal semantics description methods for programming languages; comparison of operational, denotational, algebraic, and axiomatic methods; analysis of relationship of formal semantics definitions to computer implementation.
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #kansas_2-1815Fall 2026UGRD- credits
- Days & times
- No scheduled meeting time
- Meeting dates
- —
- Location
- —
- Instructor
- Staff
Class numbers and section codes come from the registrar.
Spot missing or incorrect course data?