Lecture Notes, Week 12

• Arithmetic expressions with names
  • Resources
  • A source language of arithmetic expressions with names
  • Environments
  • Semantics
  • An ambiguous informal specification
  • Formalizing the ambiguous specification
  • Informal specification of an evaluation function that proceeds from left to right
  • Formalizing the left-to-right specification
  • Exercise 01
  • Solution for Exercise 01
  • Exercise 02
  • Solution for Exercise 02
  • Informal specification of an evaluation function that proceeds from right to left
  • Formalizing the right-to-left specification
  • Exercise 03
  • Exercise 04
  • Exercise 05
  • Postlude
  • Exercise 06
  • Resources
  • Version
• Observational equivalence
  • Resources
  • Observational equivalence
  • Exercise 07
  • Solution for Exercise 07
  • Food for thought about solving Exercise 07
  • Exercise 08
  • Exercise 09
  • Exercise 10
  • Exercise 11
  • Solution for Exercise 11.a
  • Food for thought about solving Exercise 11
  • Exercise 12
  • Exercise 13
  • Solution for Exercise 13.a
  • Exercise 14
  • Exercise 15
  • Exercise 16
  • Exercise 17
  • Exercise 18
  • Exercise 19
  • One solution among many for Exercise 19
  • Exercise 20
  • Postlude
  • Resources
  • Version
• Reasoning about streams using induction
  • Resources
  • Version
• Reasoning about streams using coinduction
  • Exercise 21
  • Partial solution for Exercise 21
  • Exercise 22
  • Solution for Exercise 22
  • Interlude
  • Resources
  • Version
• Induction and coinduction for reasoning about streams
  • Resources
  • Version
• Reasoning about lazy lists using coinduction
  • Resources
  • Lazy lists
  • Exercise 23
  • Resources
  • Version
• Exercises for Week 12
  • Exercise 00
  • Mandatory exercises
  • Version
• Index of concepts for Week 12
  • Version