Pure functional epidemics

Thaler, Jonathan, Altenkirch, Thorsten and Siebers, Peer-Olaf (2018) Pure functional epidemics. In: 30th Symposium on Implementation and Application of Functional Languages, 5-7 September 2018, Lowell, Massachusetts, USA.

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (880kB) | Preview


Agent-Based Simulation (ABS) is a methodology in which a system is simulated in a bottom-up approach by modelling the micro interactions of its constituting parts, called agents, out of which the global system behaviour emerges. So far mainly object-oriented techniques and languages have been used in ABS. Using the SIR model of epidemiology, which simulates the spreading of an infectious disease through a population, we demonstrate how to use pure Functional Reactive Programming to implement ABS. With our approach we can guarantee the reproducibility of the simulation at compile time and rule out specific classes of run-time bugs, something that is not possible with traditional object-oriented languages. Also, we found that the representation in a purely functional format is conceptually quite elegant and opens the way to formally reason about ABS.

Item Type: Conference or Workshop Item (Paper)
Schools/Departments: University of Nottingham, UK > Faculty of Science > School of Computer Science
Depositing User: Eprints, Support
Date Deposited: 17 Sep 2018 10:13
Last Modified: 17 Sep 2018 10:19
URI: https://eprints.nottingham.ac.uk/id/eprint/55001

Actions (Archive Staff Only)

Edit View Edit View