Yoshihiko Futamura Zenjiro Konishi Robert Glück Automatic generation of efficient string matching algorithms by generalized partial computation. 1-8 2002 ASIA-PEPM http://doi.acm.org/10.1145/568173.568174 db/conf/pepm/asiapepm2002.html#FutamuraKG02