Instructor Information
Instructor: Dr. Perry Alexander
Office Hours: 10:45-12:00TR
Office: 2022 Eaton Hall / 136 Nichols Hall
Phone: 4-8833 / 4-7741
Web: http://www.ittc.ku.edu/~alex
Email: Email Me
Schedule: View my Calendar

Class Information
Room: 1136 Learned
Time: 11:00-11:50 MWF
Prerequisites: Working knowledge and programming experience in at least one high-level programming language. Some background in discrete mathematics and a functional language such as ML, Scheme, Haskell or Miranda is useful, but not required.

Textbooks
Glynn Winskel, The Formal Semantics of Programming Languages, MIT Press, 1993. ISBN: 0-262-73103-7. (Required)

• Index
• Blog
• Blogger
• Syllabus
• Exams
• Projects
  • Mini Project 0
  • Mini Project 1
  • Mini Project 2
• Resources

Course Description

Programming Language Foundation I is an introduction to the semantics of programming languages. The course will present modern approaches for defining dynamic and static semantics as well as verifying definitions and implementing interpreters. We will start with dynamic semantics defining languages using operational, denotational, and axiomatic semantics. We will then overview domain theory and begin looking at static semantics and types. The course concentrates on pragmatic issues and requires both specification and verification of semantics as well as implementation of interpreters.

• Index /