Regular Tree Language Recognition with Static Information

This paper presents our compilation strategy to produce efficient code for pattern matching in the CDuce compiler, taking into account static information provided by the type system.

• Type: Conference
• Year: 2004
• Where: IFIP
• Authors: Alain Frisch
• Keywords: Account Static Information, CDuce Compiler, Communications, IFIPTCS 2004, Pattern Matching