Plt1314 6

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

Logistics

  • Course site
  • Date published: 18 Dec 2013
  • Deadline SVN: 7 Jan 2014 (End of Day)
  • Other logistics as previously

Assignment

Option 1

Implement the FL semantics in a language of your choice (e.g., Java, Python, Ruby, Haskell).

Use the following semantics as a specification:

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

Please, make sure that your implementation is highly systematic and complies with the specification.

In your presentation, please, explain your encoding approach and demonstrate your implementation with an example.

Option 2

Just like option 1, but for the while semantics instead. (Well-formedness can be ignored.)

Use the following semantics as a specification:

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

Option 3

Just like options 1 and 2, but for the semantics of untyped lambda calculus.

Use the following semantics as a specification:

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