Code for the lecture notes: "Writing Internet of Things Applications with Task Oriented Programming"
Display more detailsDisplay less details
Key wordsfunctional programming; Domain-Specific Languages; Task-Oriented Programming; Internet of Things
This dataset contains the supplementary files for the lecture and practical "Writing Internet of Things Applications with Task-Oriented Programming" that was given at the Composability, Comprehensibility and Correctness of Working Software, 8th Summer School, Budapest, Hungary, June 17-21, 2019. This work acknowledges the support of the ERASMUS+ project 'Focusing Education on Composability, Comprehensibility and Correctness of Working Software”, no. 2017-1-SK01- KA203-035402. https://people.inf.elte.hu/cefp/ It was originally uploaded at: https://ftp.cs.ru.nl/Clean/mTask/CEFP19/ The dataset contains the following files: mtask-slides1.pdf: the slides for the first part of the lecture. mtask-slides2.pdf: the slides for the second part of the lecture. mtask-reader.pdf: the reader containing the assignments and instructions for using mTask. mtask-linux-x64.tar.gz: the prepared assignments and Clean/mTask distribution for 64-bit linux (see below). mtask-windows-x64.zip: the prepared assignments and Clean/mTask distribution for 64-bit windows (see below). mtask-macos-x64.tar.gz: the prepared assignments and Clean/mTask distribution for Mac OS X (see below). Each assignments archive contains of the following folders: clean: contains a Clean distribution. client: is an mTask desktop client in case the participant does not have a microcontroller at hand. mTask/programs: contains a Hello World! program to test the setup. mTask/library: contains the mTask library. mTask/cefp19: contains the assignments that used in the practical. Copyright: BSD 2-Clause "Simplified" License Open Access