Optimizing pattern matching
Optimizing pattern matching
复制标题
优化模式匹配
DOI：
10.1145/507635.507641
复制
发表时间：
2001
影响因子：
4.6
通讯作者：
Luc Maranget
中科院分区：
文献类型：
--
作者：
F. L. Fessant;Luc Maranget
我们提出了改进的回溯技术的模式匹配编译。介绍了几种优化，如模式的换向，使用穷举信息，并通过使用标记的静态异常和上下文信息的控制流优化。这些优化已经集成到了EST-Caml编译器中。它们在提高模式匹配密集型程序的速度方面表现出良好的效果，而不会增加最终代码的大小。
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.