This course provides a solid foundation in programming language specification and design. It covers different programming paradigms, algebraic specification and implementation of data types, and develops interpreters for specifying operationally various programming language constructs. It also introduces attribute grammar formalism and axiomatic basis for computer programming. Department Managed Prerequisite(s): Undergraduate level CS 3180 Minimum Grade of D or Graduate level CS 5180 Minimum Grade of D
Must be enrolled in one of the following Levels: Graduate, Medical, Professional.