CSC 417 - Theory of Programming Languages

Catalog Description:

Theory of programming languages with emphasis on programming language semantics and implementation issues. Formal models of syntax and semantics. Static versus dynamic scoping. Parameter passing mechanisms. Garbage collection. Programming in alternate paradigms such as applicative, functional, logic, and object-oriented programming languages.

Contact Hours:

• Lecture: 3 hours

Prerequisites: CSC316 or ECE309
Co-requisites: None
Restrictions: None
Coordinator: Dr. Jamie Jennings
Textbook: None

Course Outcomes:

1. Develop formal descriptions of the syntax and semantics of programming languages.
2. Apply knowledge of language semantics to explain the behavior of programs.
3. Describe and explain the characteristics of programming languages features such as static and dynamic type checking, memory management, higher-order functions, object prototypes and classes, reactivity, and constraint logic.
4. Explain how abstract programming language concepts are implemented in concrete programming languages.
5. Explain the design trade-offs seen in programming languages such as Java, C, Scheme, OCaml, Python, and others.

Topics:

• Language design trade-offs
• Value representations and memory management
• Type systems
• Formal semantic methods
• Higher order functions and closures
• Object systems
• Reactive systems
• Constraint logic systems
• Security issues

See Course Listings

See Course Coordinators