CSCE 6450 - Advanced 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): Consent of department.