Difference between revisions of "CEFP2013"

From Clean
Jump to navigationJump to 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 ==
+
== Clean + iTasks for CEFP 2013 Course ====
You can find a preconfigured zip package with Clean including the iTasks SDK for this summerschool on the following webpage:
+
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]
  
[http://www.cs.ru.nl/~baslijns/iTasks-prereleases/ http://www.cs.ru.nl/~baslijns/iTasks-prereleases/]
+
Here are some additional resources:
 +
# [https://wiki.clean.cs.ru.nl/File:Ligretto_framework.zip]: 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!!
 +
# [https://wiki.clean.cs.ru.nl/File:Ligretto_case_study.ppt‎]: brief explanation of the Ligretto case study and the above framework.
 +
# [https://wiki.clean.cs.ru.nl/File:assignments.ppt] the lab assignments.
 +
# [https://wiki.clean.cs.ru.nl/File:Assignments_answers.ppt] possible solutions and explanations to the lab assignments.
 +
# [https://wiki.clean.cs.ru.nl/File:TOP_Part_1_CEFP_2013.ppt]: the first lecture slides
 +
# [https://wiki.clean.cs.ru.nl/File:TOP_Part_2_CEFP_2013.ppt]: the second lecture slides

Revision as of 11:37, 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