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 optimization through the use of labeled static exceptions and context information. These optimizations have been integrated in the Objective-Caml compiler. They have shown good results in increasing the speed of pattern-matching intensive programs, without increasing final code size.
This article also exists in Postcript

This document was translated from LATEX by HEVEA.