Breaking the Complexity Barrier of Pure Functional Programs with Impure Data Structures
by
Pieter Wuille
,
Tom Schrijvers
BibTeX
@MISC{Wuille_breakingthe,
author = {Pieter Wuille and Tom Schrijvers},
title = {Breaking the Complexity Barrier of Pure Functional Programs with Impure Data Structures},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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. 1
