Title: Breaking the complexity barrier of pure functional programs with impure data structures
Authors: Wuille, Pieter
Schrijvers, Tom #
Issue Date: 10-Sep-2008
Host Document: Pre-proceedings of the 20th International Symposium on Implementation and Application of Functional Languages pages:17-32
Conference: Implementation and application of functional languages edition:20 location:Hertfordshire, United Kingdom date:10-12 September 2008
Abstract: Pure functional programming language offer many advantages over impure languages. Unfortunately, the absence of destructive update, imposes a complexity barrier. In imperative languages, there are algorithms and data structures with better complexity.

We present our project for combining existing program transformation techniques to transform inefficient pure data structures into impure ones with better complexity. As a consequence, the programmer is not exposed to the impurity and retains the advantages of purity.
Description: Published as Technical Report No. 474, School of Computer Science, University of Hertfordshire. Hatfield, AL10 9AB, UK
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
# (joint) last author

Files in This Item:
File Description Status SizeFormat
preliminary.pdfMain article Published 200KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.