ICS 313: Programming Language Theory

Description: Syntax, semantics, control structures, variable binding and scopes, data and control abstractions. Programming in functional (LISP) and logic (Prolog) programming styles. Pre: 212 and 241, or consent.

Objectives: See Learning Outcomes

Course Learning Outcomes

Program Learning Outcomes

Prerequisites: 212 and 241, or consent.

Textbook(s): Programming Language Pragmatics, Third Edition, by Michael L. Scott, publisher: Morgan Kaufmann, ISBN: 978-0123745149.

Grading: 40% on assignments, 10% on quizzes, 20% on the Midterm exam, 30% on the Final exam.