Difference between revisions of "CEFP2013"
From Clean
Jump to navigationJump to searchBas Lijnse (talk | contribs) (Created page with "The 2013 edition of the CEFP Summerschool, this year called [http://dsl2013.math.ubbcluj.ro/index.html DSL 2013], features a lecture about task-oriented programming with Clean an...") |
Bas Lijnse (talk | contribs) |
||
| (2 intermediate revisions by the same user not shown) | |||
| Line 2: | Line 2: | ||
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 == | ||
| + | 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] | ||
| + | |||
| + | 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 | ||
Latest revision as of 11: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]: 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!!
