| Under consideration for publication in J. Functional Programming 1 FUNCT I ONAL PEARLS Inverting the Burrows-Wheeler Transform (2007) | |||||||||||||||
Abstract | |||||||||||||||
| Our aim in this pearl is to exploit simple equational reasoning to derive the inverse of the Burrows-Wheeler transform from its specication. As a bonus, we will also sketch the outlines of deriving the inverse of two more general versions of the transform, one proposed by Schindler and another by Chapin and Tate. 1 | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||