This course examines the semantics of programming languages. Topics include formal specifications of syntax, declarations, binding, allocation, data structures, data types, control structures, control and data flow, and the implementation and execution of programs and functional programming versus imperative programming. Other possible topics include non-procedural and logic programming, object-oriented programming and program verification. Programming projects will provide experience in several languages. Prerequisite: CMSC 202.

Time and place

Mon-Wed 1:00-2:30pm
FA 306

Textbook

Concepts of Programming Languages
9th Edition, Robert W. Sebesta, 2009, 696 pages.
Companion web site

textbook

Instructor

Tim Finin
finin@cs.umbc.edu
ITE 329
phone: 410-455-3522 (but email is better)
Office Hours: MW 2:30-3:30 and by arrangement

Teaching Assistant

James MacGlashan
jmac1@umbc.edu
ITE 339
office hours: Mon: 10:00-11:30, Thr: 2:00-3:30

Teaching Assistant

Deepal Dhariwal
deepald1@umbc.edu
ITE 349
office hours: Tue: 1:00-2:30, Wed: 4:00-5:30