|
Apr 17, 2024
|
|
|
|
CIS 806 - Semantics of Programming LanguagesCredits: (3) 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.
Requisites Pr.: CIS 771.
KSIS Course Search
Add to Portfolio (opens a new window)
|
|