Transcript 11 Feb (PPT)

11 Feb 1999; Session 7
CS655
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.
11 Feb 1999; Session 7
CS655
Today’s Topics
• Finish imperative languages
11 Feb 1999; Session 7
CS655