CSE 6341: Foundations of Programming Languages
Autumn 2012
Who
Students: primarily for graduate students; also for undergraduates interested in PL who did well in 625 and 655
Instructor: Michael Bond
Grader: S M Faisal
What
Theory of programming languages: formal ways of defining syntax and semantics of PLs.
Attribute grammars; operational and axiomatic semantics; type systems; some aspects of concurrency and runtime systems.
When and Where
Tuesdays and Thursdays, 2:20–3:40 pm
Bolz Hall 422
Instructor's office hours (DL 697):
Mondays 10:00–11:00 and Thursdays 11:00–12:00, or
by appointment
(to make an appointment, e-mail Mike and include your days+times availability)
When visiting office hours, or if you have a scheduled appointment,
please alert Mike to your presence as soon as you arrive by knocking or saying hi, even if he's meeting
someone else at that time.
Grader's office hours (DL 674): Mondays 2:00–3:00 and Thursdays 12:00–1:00,
or by appointment
(to make an appointment, e-mail Faisal and include your days+times availability).
DL 674 is shared, locked lab space. Just knock and someone will let you in.
Faisal sits in the back, near the big window.
No instructor or grader office hours on University holidays.
Why
The SIGPLAN Education Board recently
explained why
senior undergrads should learn about the principles of PLs.
I think the same reasons apply to grad students,
especially grad students not primarily interested in PL.
Acknowledgments
Many thanks to Nasko Rountev and Neelam Soundarajan for their advice and materials.
Many of this semester's materials are based closely on their materials.