CSCE 6450 - Advanced Topics in Programming Languages

3 hours

Current research issues in programming languages. Translation of programming languages, formal semantics and program verification, foundations of structured programming, abstraction, declarative systems and special-purpose languages.

Prerequisite(s): CSCE 5450.

May be repeated for credit as topics vary for a maximum of 6 hours.