Optimizing Pattern Matching

Optimizing Pattern Matching (2001)

by Fabrice Le Fessant , Luc Maranget

Venue:	In ICFP’01 Proceedings
Citations:	8 - 0 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Optimizing Pattern Matching	user correction - Legacy Corrections
AUTHOR NAME	Fabrice Le Fessant	SVM HeaderParse 0.1
AUTHOR ADDR	INRIA Roquencourt, B.P. 105, 78153 Le Chesnay Cedex, France	SVM HeaderParse 0.1
AUTHOR NAME	Luc Maranget	SVM HeaderParse 0.1
AUTHOR ADDR	INRIA Roquencourt, B.P. 105, 78153 Le Chesnay Cedex, France	SVM HeaderParse 0.1
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 ow optimization through the use of labeled static exceptions and context information. These optimizations have been integrated in the ObjectiveCaml compiler. They have shown good results in increasing the speed of pattern-matching intensive programs, without increasing nal code size.	user correction - Legacy Corrections
YEAR	2001	INFERENCE
VENUE	In ICFP’01 Proceedings	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	26--37	INFERENCE
CITATIONS	21 found	ParsCit 1.0