Lecture Slides

• Continuous Assessment 2003:Due Dec 12th 2003
• Sections 1-4
• Section 5
• Section 5 ctd - Imperative Languages
• Section 6- Recursively Defined Functions
• Section 7: Axiomatic Semantics
• Section 8: A language with context
• Section 9. Compound Data Structures
• Section 10. Abstraction
• Section 11 Parameterisation
• Section 12 Typing

  ---

  ---

  Lab Worksheets

• Worksheet 1
  

• Worksheet 2
  

  ---