Schedule for CSE 6341

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

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