Error Mining for Regular Expression Patterns

In the design of type systems for XML programming languages based on regular expression types and patterns the focus has been over result analysis, with the main aim of statically checking that a transformation always yields data of an expected output type. While being crucial for correct program composition, result analysis is not sufficient to guarantee that patterns used in the transformation are correct. In this paper we motivate the need of static detection of incorrect patterns, and provide a formal characterization based on pattern matching operational semantics, together with locally exact type analysis techniques to statically detect them.

• Type: Conference
• Year: 2005
• Where: ICTCS
• Authors: Giuseppe Castagna, Dario Colazzo, Alain Frisch
• Keywords: Correct Program Composition, Exact Type Analysis, Expected Output Type, ICTCS 2005