Plt1314 7

(C) Ralf Lämmel, Andrei Varanovich, University of Koblenz Landau

Logistics

  • Course site
  • Date published: 15 Jan 2014
  • Deadline SVN: 21 Jan 2014 (End of Day)
  • Other logistics as previously

Assignment

Start from the following denotational semantics from the lecture:

https://github.com/rlaemmel/pltcourse/blob/master/src/lecture-logs/unikold1314/while.hs

Option 1

Option 1a

Revise the semantics so that the following alternative definition of State is used:

type State = [(String, Value)]

Option 1b

Revise the semantics to use continuation style.

(If you want to do some extra work, also try adding the syntax and semantics for exception handling.)

Option 1c

Revise syntax and semantics so that read and write statements are supported.

Option 2

Transcribe the denotational semantics from Haskell to your language of choice.

You need to maintain the "functional" style, as good as you can in the chosen language.

(If you want to do some extra work, try covering Option 1b or Option 1c with the chosen language.)