はてなブックマーク

Optimizing Pattern Matching Fabrice Le Fessant, Luc Maranget INRIA Roquencourt, B.P. 105, 78153 Le Chesnay Cedex, France (Email: {Fabrice.Le_fessant, Luc.Maranget}@inria.fr) Abstract: We present improvements to the backtracking technique of pattern-matching compilation. Several optimizations are introduced, such as commutation of patterns, use of exhaustiveness information, and control flow optimi