Error mining for regular expression patterns

Authors:
Giuseppe Castagna;Dario Colazzo;Alain Frisch
Affiliations:
CNRS, Ecole Normale Supérieure de Paris, France;LRI, Université Paris Sud, Orsay, France;INRIA, Rocquencourt, France
Venue:
ICTCS'05 Proceedings of the 9th Italian conference on Theoretical Computer Science
Year:
2005

Citing 9
Cited 5

Subtyping recursive types

ACM Transactions on Programming Languages and Systems (TOPLAS)
Regular expression pattern matching for XML

POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Semantic Subtyping

LICS '02 Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
XDuce: A Typed XML Processing Language (Preliminary Report)

Selected papers from the Third International Workshop WebDB 2000 on The World Wide Web and Databases
CDuce: an XML-centric general-purpose language

ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Regular expression patterns

Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
Types for path correctness of XML queries

Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
The essence of data access in Cω: the power is in the dot!

ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
A full pattern-based paradigm for XML query processing

PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages

Static analysis for path correctness of XML queries

Journal of Functional Programming
XHaskell --- Adding Regular Expression Types to Haskell

Implementation and Application of Functional Languages
Patterns and types for querying XML documents

DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
A type system for regular expressions

Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs
Combining form and function: static types for JQuery programs

ECOOP'13 Proceedings of the 27th European conference on Object-Oriented Programming

Quantified Score

Hi-index	0.00

Visualization

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.