Schedule for CSE 755

The following schedule is tentative. The topics are specified in the approximate order that they will be covered.

• Attribute Grammars: 2 weeks.
• Operational Semantics: (including Lisp, interpreter): 2 weeks.
• Axiomatic Semantics: 2.5 weeks
• Operational Semantics (contd.): 0.5 weeks
• Denotational Semantics: 2 weeks
• Other? 1 week.