The functional dendritic cell algorithm: a formal specification with Haskell

Greensmith, Julie and Gale, Michael B. (2017) The functional dendritic cell algorithm: a formal specification with Haskell. In: IEEE Congress on Evolutionary Computation 2017, 5-9 June 2017, Donostia-San Sebastian, Spain.

Full text not available from this repository.


The Dendritic Cell Algorithm (DCA) has been described in a number of different ways, sometimes resulting in incorrect implementations. We believe this is due to previous, imprecise attempts to describe the algorithm. The main contribution of this paper is to remove this imprecision through a new approach inspired by purely functional programming. We use new specification to implement the deterministic DCA in Haskell - the hDCA. This functional variant will also serve to introduce the DCA to a new audience within computer science. We hope that our functional specification will help improve the quality of future DCA related research and to help others understand further its algorithmic properties.

Item Type: Conference or Workshop Item (Paper)
Additional Information: © 2017 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. Conference published with ISBN 9781509046010
Schools/Departments: University of Nottingham, UK > Faculty of Science > School of Computer Science
Related URLs:
Depositing User: Greensmith, Julie
Date Deposited: 17 Mar 2017 11:39
Last Modified: 04 May 2020 18:49

Actions (Archive Staff Only)

Edit View Edit View