@inproceedings{9f1e9b891668466a902f80afe29552dc,
title = "Error mining for regular expression patterns",
abstract = "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.",
author = "Giuseppe Castagna and Dario Colazzo and Alain Frisch",
year = "2005",
month = jan,
day = "1",
doi = "10.1007/11560586\_13",
language = "English",
isbn = "3540291067",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "160--172",
booktitle = "Theoretical Computer Science - 9th Italian Conference, ICTCS 2005, Proceedings",
note = "9th Italian Conference on Theoretical Computer Science, ICTCS 2005 ; Conference date: 12-10-2005 Through 14-10-2005",
}