Error Mining for Regular Expression Patterns [chapter]

Giuseppe Castagna, Dario Colazzo, Alain Frisch
2005 Lecture Notes in Computer Science  
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
more » ... e a formal characterization based on pattern matching operational semantics, together with locally exact type analysis techniques to statically detect them.
doi:10.1007/11560586_13 fatcat:nocvsqie7rah7jcjmzck2nvxz4