UT Dallas 2015 Graduate Catalog

CS6371 - Advanced Programming Languages

CS 6371 Advanced Programming Languages (3 semester credit 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 and CS 5349. (3-0) S