MCS 3352 Programming Languages

Study of the fundamental principles in the design and implementation of programming languages. Study includes the mathematical theory behind these principles and students must be comfortable with proofs. Topics include the substitution model, hierarchical structures, the environment model, metalinguistic abstraction and memory representation. Students write their own language interpreter.