| FUNCTIONAL PEARL Inverting the Burrows-Wheeler Transform Abstract (2008) | |||||||||||||||
Abstract | |||||||||||||||
| The objective of this pearl is to derive the inverse of the Burrows-Wheeler transform from its specification, using simple equational reasoning. In fact, we derive the inverse of a more general version of the transform, proposed by Schindler. 1 | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||