Partial Evaluation of Pattern Matching in Constraint Logic Programming Languages

@inproceedings{Smith1991PartialEO,
  title={Partial Evaluation of Pattern Matching in Constraint Logic Programming Languages},
  author={Donald A. Smith},
  booktitle={PEPM},
  year={1991}
}
A standard example in the literature on partial evaluation is the derivation of an efficient pattern matcher by partial evaluation of a (more or less) naive matcher. The effect can be summarized by the claim that partial evaluation 'automatically' performs the optimization central to the Knuth-Morris-Pratt (KMP) string matching algorithm. In this paper we generalize the previous results by showing that the idea behind the KMP optimization extends to pattern matching in domains other than linear… CONTINUE READING
31 Citations
0 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 31 extracted citations

Similar Papers

Loading similar papers…