[cduce-users] pattern compilation
Alain.Frisch at inria.fr
Sun May 6 13:48:36 CEST 2007
gbattag at gmail.com wrote:
> Which papers describe the algorithm used to compile pattern to their
> inner representation in detail?
Regular tree language recognition with static information. A. Frisch. In
Note that capture variables are not considered in this paper. You can
also have a look at Chapter 8 of my Ph.D thesis:
> Which files implement it? Thanks.
compile/auto_pat.ml: definition of automata
types/patterns.ml: compilation from patterns to automata
runtime/run_dispatch.ml: runtime evaluation of automata
More information about the Cduce-users