Optimizing Pattern Matching 计算机科学

Optimizing Pattern MatchingFabrice Le Fessant, Luc MarangetINRIA Roquen ourt, B.P. 105, 78153 Le Chesnay Cedex, Fran e(Email: fFabri e.Le fessant, Lu .Marangetg�inria.fr) ABSTRACTWe present improvements to the ba ktra king te hnique ofpattern-mat hing ompilation. Several optimizations are in-trodu ed, su h as ommutation of patterns, use of exhaus-tiveness information, and ontrol ow optimization throughthe use of labeled stati ex eptions and ontext information.These optimizations have been