University of Alabama at Birmingham
Context-sensitive and semantic aspects of programming languages, denotational semantics, mathematical foundations.
3 credits
CS 600
