UT Dallas 2013 Graduate Catalog

CS6371 - Advanced Programming Languages

CS 6371 Advanced Programming Languages (3 semester hours) Functional programming, Lambda calculus, logic programming, abstract syntax, denotational semantics of imperative languages, fixpoints semantics, verification of programs, partial evaluation, interpretation and automatic compilation, axiomatic semantics, applications of semantics to software engineering. Prerequisites: CS 5343, CS 5349. (3-0) S