[cduce-users] pattern compilation

Alain Frisch 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
TCS 2004.

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

-- Alain

More information about the Cduce-users mailing list