DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations.

Rajeev Alur, Loris D'Antoni, Mukund Raghothaman

Browse the full POPL paper archive.