Investigating the use of pure functional programming for agent-based simulation

QR Code

Investigating the use of pure functional programming for agent-based simulation

This thesis investigates the use of pure functional programming in Agent-Based Simulation (ABS) with the language Haskell. The central theme of this thesis is to do with purity, which identifies the lack of unrestricted side effects and referential transparency. Thematically, the research presented...

Full description

Bibliographic Details
Main Author:	Thaler, Jonathan
Format:	Thesis (University of Nottingham only)
Language:	English
Published:	2020
Subjects:	Agent-based simulation Functional programming Haskell Parallel programming Software transactional memory Property-based testing
Online Access:	https://eprints.nottingham.ac.uk/60350/

Similar Items

Extensible and robust functional reactive programming
by: Perez Dominguez, Ivan
Published: (2018)

Functional reactive programming, refactored
by: Perez, Ivan, et al.
Published: (2016)

Towards safe and efficient functional reactive programming
by: Sculthorpe, Neil
Published: (2011)

A functional specification of effects
by: Swierstra, Wouter
Published: (2009)

Comparison of MPI benchmark programs on shared memory and distributed memory machines (point-to-point communication)
by: Abdul Hamid, Nor Asilah Wati, et al.
Published: (2010)

The KL sentral virtua reality simulation / Ainun Maziah Saidina Omar
by: Saidina omar, Ainun Maziah
Published: (2004)

Integrating BDI agents with Agent-based simulation platforms
by: Singh, Dhirendra, et al.
Published: (2016)

Comparing System Dynamics and Agent-Based Simulation for tumour growth and its interactions with effector cells
by: Figueredo, Grazziela P., et al.
Published: (2011)

A software engineering approach for agent-based modelling and simulation of public goods games
by: Vu, Tuong Manh
Published: (2017)

Programming deliberation strategies in meta-APL
by: Leask, Sam, et al.
Published: (2015)

Traffic congestion simulation system using rule based / Muhammad Azrul Naim Ramli
by: Ramli, Muhammad Azrul Naim
Published: (2020)

Supermonads: one notion to bind them all
by: Bracker, Jan, et al.
Published: (2016)

Distribution of harumanis in Universiti Teknologi Mara Cawangan Perlis by using : goal programming model / 'Ain Syafiqah Abu Sofian
by: Abu Sofian, 'Ain Syafiqah
Published: (2019)

Testing and debugging functional reactive programming
by: Perez, Ivan, et al.
Published: (2017)

Agent based simulation as a novel decision support tool for retail managers
by: Siebers, Peer-Olaf, et al.
Published: (2008)

Agent Checker Mobile Apps for G6PD deficiency children using Rule-Based Technique / Umairah Mohd Zan
by: Mohd Zan, Umairah
Published: (2020)

Symmetric encryption using preshared public parameters for a secure TFTP protocol / Nur Nabila Mohamed
by: Mohamed, Nur Nabila
Published: (2015)

Solving a backtracking intelligently : a case study / Muthukkaruppan Annamalai
by: Annamalai, Muthukkaruppan
Published: (2001)

Towards a formally verified functional quantum programming language
by: Green, Alexander S.
Published: (2010)

A metamorphic testing approach for supporting program repair without the need for a test oracle
by: Jiang, Mingyue, et al.
Published: (2016)

Exam invigilation scheduling system for UiTM Malacca Jasin Campus / Maizatul Akmam Mustapa
by: Mustapa, Maizatul Akmam
Published: (2015)

Linear-pso with binary search algorithm for DNA motif discovery / Hazaruddin Harun
by: Harun, Hazaruddin
Published: (2015)

Autism spectrum disorder screening for toddlers / Muhammad Hafizudin Abdul Hadi
by: Abdul Hadi, Muhammad Hafizudin
Published: (2020)

Nutrient management for rubber plantation using goal programming / Nurul Ain Mohd Razali
by: Mohd Razali, Nurul Ain
Published: (2020)

Design and simulation of a 3D wing box test rig for static test / Leonard Langking
by: Langking, Leonard
Published: (2010)

Modelling and analysing human behaviour in a department store using discrete event and agent based simulation
by: Majid, Mazlina Abdul, et al.
Published: (2008)

Narrowing in on property-based testing
by: Fowler, Jonathan
Published: (2019)

Visualizing requirements using use case diagram and diagram 0 for compound information system / Noorihan Abdul Rahman and Nor Asma Mohd Zin
by: Abdul Rahman, Noorihan, et al.
Published: (2018)

Kajian terhadap rekabentuk, perisian dan ciri-ciri maklumat kiosk di UiTM (Zon Utara) / Asmadi Mohammed Ghazali…[et al.]
by: Mohammed Ghazali, Asmadi, et al.
Published: (2004)

Penghasilan suatu sistem pencerap suhu berautomasi / Hamidi A. Hamid, Mahadzir Hj. Din and Nor Arzami Othman
by: A. Hamid, Hamidi, et al.
Published: (2003)

Facilitating statistical software using SS E Guide / N. Ahmad, A.M. Nasir, and S. Masrom
by: N., Ahmad, et al.
Published: (2019)

Developing web for learning object oriented programming (OOP) using videos / Farah Syazwani Roslan
by: Roslan, Farah Syazwani Roslan
Published: (2020)

The modular compilation of effects
by: Day, Laurence E.
Published: (2017)

Synthesizing agent for Wumpus World / Ainul Azlinda Abu Bakar
by: Abu Bakar, Ainul Azlinda
Published: (2004)

An evaluation framework for peer-based youth programs
by: Lobo, Roanna C.
Published: (2012)

Performance evaluation of inverted files, B-Tree and B+ Tree indexing algorithm on Malay text / Suhanah Rosnan
by: Rosnan, Suhanah
Published: (2016)

Auto-formation group chat for fitness application with rule-based / Amar Aslam Ramli
by: Ramli, Amar Aslam
Published: (2018)

Leveraging an open VPN technology to end user / Md Ikhwan Hamdan
by: Hamdan, Md Ikhwan
Published: (2010)

School library system using arduino uno and RFID RC-522 / Nur Farah Hanim Raman
by: Raman, Nur Farah Hanim
Published: (2020)

Verbal Helper Application for Autism using Natural Language Processing / Nur Farahin Mohd Affendy
by: Mohd Affendy, Nur Farahin
Published: (2020)