Pure functional epidemics
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 i...
| Main Authors: | , , |
|---|---|
| Format: | Conference or Workshop Item |
| Language: | English |
| Published: |
2018
|
| Online Access: | https://eprints.nottingham.ac.uk/55001/ |
| _version_ | 1848799097699434496 |
|---|---|
| author | Thaler, Jonathan Altenkirch, Thorsten Siebers, Peer-Olaf |
| author_facet | Thaler, Jonathan Altenkirch, Thorsten Siebers, Peer-Olaf |
| author_sort | Thaler, Jonathan |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | 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. |
| first_indexed | 2025-11-14T20:30:15Z |
| format | Conference or Workshop Item |
| id | nottingham-55001 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-14T20:30:15Z |
| publishDate | 2018 |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-550012018-09-17T10:19:53Z https://eprints.nottingham.ac.uk/55001/ Pure functional epidemics Thaler, Jonathan Altenkirch, Thorsten Siebers, Peer-Olaf 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. 2018-09-07 Conference or Workshop Item PeerReviewed application/pdf en https://eprints.nottingham.ac.uk/55001/1/pfe_corrected%20POS.pdf 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. |
| spellingShingle | Thaler, Jonathan Altenkirch, Thorsten Siebers, Peer-Olaf Pure functional epidemics |
| title | Pure functional epidemics |
| title_full | Pure functional epidemics |
| title_fullStr | Pure functional epidemics |
| title_full_unstemmed | Pure functional epidemics |
| title_short | Pure functional epidemics |
| title_sort | pure functional epidemics |
| url | https://eprints.nottingham.ac.uk/55001/ |