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 and CMSC 203.

Textbook

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

Section 1

Mon-Wed 5:30 - 6:45, ITE 227

Instructor

Sue Evans
bogar@cs.umbc.edu
ITE 207
410-455-3964
Office Hours: Mon/Wed 4:00-5:00

Teaching Assistant

Michael Lombardi
lombard2@umbc.edu
Office: ITE 353
Office hours: Mon 7:00 - 9:00 PM & Tues 5:00 - 7:00 PM

Section 2

Mon-Wed 2:30 - 3:45, ITE 231

Instructor

Tim Finin
finin@cs.umbc.edu
ITE 329
410-455-3522
Office Hours: Mon 4:00-5:00 and by arrangement

Teaching Assistant

Rania El-badry
elbadry1@umbc.edu
Office: ITE 353
Office hours: Mon/Wed noon - 2:00 PM