Plt1314 3

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

Logistics

  • Course site
  • Date published: 20 Nov 2013
  • Deadline SVN: 26 Nov 2013 (End of Day)
  • Other logistics as previously

Assignment

Option 1

Start from the following code from the lecture:

https://github.com/rlaemmel/pltcourse/blob/master/src/lecture-logs/unikold1314/fl.pro

Revise the expression semantics to use small-step instead of big-step semantics. Demonstrate that the sample program's execution still returns the same result.

Option 2

Start from the following code from the lecture:

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

Revise the statement semantics to use small-step instead of big-step semantics. The expression semantics does not need to be changed. Demonstrate that the sample program's execution still returns the same result.