CEFP2013

From Clean
(Difference between revisions)
Jump to: navigation, search
 
Line 3: Line 3:
 
On this page you can find the material for the lab sessions that accompany this lecture.
 
On this page you can find the material for the lab sessions that accompany this lecture.
  
== Clean + iTasks for CEFP 2013 Course ====
+
== Clean + iTasks for CEFP 2013 Course ==
 
For the CEFP course, a snapshot of Clean 2.4 + iTasks for 32-bit windows is available that works out of the box.
 
For the CEFP course, a snapshot of Clean 2.4 + iTasks for 32-bit windows is available that works out of the box.
 
You can download it here: [http://www.cs.ru.nl/~baslijns/iTasks-prereleases/CleanWithiTasks-20130704.zip CleanWithiTasks-20130704.zip]
 
You can download it here: [http://www.cs.ru.nl/~baslijns/iTasks-prereleases/CleanWithiTasks-20130704.zip CleanWithiTasks-20130704.zip]

Latest revision as of 10:38, 9 January 2014

The 2013 edition of the CEFP Summerschool, this year called DSL 2013, features a lecture about task-oriented programming with Clean and iTasks.

On this page you can find the material for the lab sessions that accompany this lecture.

Clean + iTasks for CEFP 2013 Course

For the CEFP course, a snapshot of Clean 2.4 + iTasks for 32-bit windows is available that works out of the box. You can download it here: CleanWithiTasks-20130704.zip

Here are some additional resources:

  1. [1]: a framework for the Ligretto case study (ligretto_framework.zip).
 WARNING SPOILERS AHEAD: if you really want to implement the case study yourself, then do not download this version!! 
 This is a complete implementation of the Ligretto case study!!
  1. [2]: brief explanation of the Ligretto case study and the above framework.
  2. [3] the lab assignments.
  3. [4] possible solutions and explanations to the lab assignments.
  4. [5]: the first lecture slides
  5. [6]: the second lecture slides
Personal tools