|
|
Mar 28, 2024
|
|
CS 6118 - [Types and Semantics] Fall. 4 credits.
Next offered 2015-2016. Enrollment limited to: graduate standing or permission of instructor.
R. Tate.
The types of a language and the semantics of a language are closely connected. Understanding the interplay between the two can help one formalize existing languages or design new ones. The class covers concepts that apply to general-purpose languages as well as domain-specific languages such as for graphics, databases, logic, and systems.
Add to Favorites (opens a new window)
|
|
|