Courses of Study 2013-2014 
    
    Mar 28, 2024  
Courses of Study 2013-2014 [ARCHIVED CATALOG]

Add to Favorites (opens a new window)

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)