Programming Languages
COMPSCI 1520
Subject & Catalog Number
Course Information
Description
Comprehensive introduction to the principal features and overall design of both traditional and modern programming languages, including syntax, formal semantics, abstraction mechanisms, modularity, type systems, naming, polymorphism, closures, continuations, concurrency, and verification. Provides the intellectual tools needed to design, evaluate, choose, and use programming languages.
Course Notes
This course was previously numbered CS 152.
Recommended Prep
Computer Science 51; Computer Science 1210 (formerly CS 121) is recommended. Students must have good programming skills, be very comfortable with recursion, proofs, basic mathematical ideas and notations, including sets, relations, functions, and induction.
Available for Harvard Cross Registration
NOTE: This course requires additional sections; you will be prompted to choose secondary components during the Add to Cart process