Thurs, 11 Feb: Unit 4 Assignment

1
(No Transcript)
2
Thurs, 11 Feb Unit 4 Assignment

• Read Unit 4 papers (in file drawer) by Thurs, 18
  Feb
• Schmidt, Tennent, Jones
• semantics, denotational semantics, lambda
  calculus
• Write --due Thurs, 18 Feb
• (hard) Denotational semantics, while quite
  expressive comprehensive, has not always been
  expressive enough to describe languages
  completely. Identify and document three
  features/interactions in programming languages
  for which denotational semantics is (or has been)
  inadequate.

3
Todays Topics

• Finish imperative languages