ICTCS 2005: Theoretical Computer Science pp 160-172 | Cite as

Error Mining for Regular Expression Patterns

  • Giuseppe Castagna
  • Dario Colazzo
  • Alain Frisch
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3701)

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.

Keywords

Pattern Match Regular Expression Error Mining Input Type Recursive Type 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [AC93]
    Amadio, R.M., Cardelli, L.: Subtyping recursive types. ACM Transactions on Programming Languages and Systems 15(4) (September 1993)Google Scholar
  2. [BCF03]
    Benzaken, V., Castagna, G., Frisch, A.: CDuce: an XML-friendly general purpose language. In: ICFP 2003, 8th ACM International Conference on Functional Programming, Uppsala, Sweden, pp. 51–63. ACM Press, New York (2003)CrossRefGoogle Scholar
  3. [BCM05]
    Benzaken, V., Castagna, G., Miachon, C.: A full pattern-based paradigm for XML query processing. In: Hermenegildo, M.V., Cabeza, D. (eds.) PADL 2004. LNCS, vol. 3350, pp. 235–252. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  4. [BFS04]
    Broberg, N., Farre, A., Svenningsson, J.: Regular expression patterns. In: ICFP 2004: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, pp. 67–78. ACM Press, New York (2004)CrossRefGoogle Scholar
  5. [BMS05]
    Bierman, G., Meijer, E., Schulte, W.: The essence of data access in Cω. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol. 3586, pp. 287–311. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  6. [CGMS04]
    Colazzo, D., Ghelli, G., Manghi, P., Sartiani, C.: Types for Path Correctness for XML Queries. In: Proceedings of the ACM International Conference on Functional Programming (ICFP), Snowbird, Utah, USA (2004)Google Scholar
  7. [Col04]
    Colazzo, D.: Path Correctness for XML Queries: Characterization and Static Type Checking. PhD thesis, Dipartimento di Informatica, Università di Pisa (2004)Google Scholar
  8. [DFF+̂05]
    Draper, D., Fankhauser, P., Fernandez, M., Malhotra, A., Rose, K., Rys, M., Siméon, J., Wadler, P.: XQuery 1.0 and XPath 2.0 Formal Semantics. Technical report, World Wide Web Consortium, W3C Working Draft (February 2005)Google Scholar
  9. [FCB02]
    Frisch, A., Castagna, G., Benzaken, V.: Semantic Subtyping. In: Proceedings, Seventeenth Annual IEEE Symposium on Logic in Computer Science, pp. 137–146. IEEE Computer Society Press, Los Alamitos (2002)Google Scholar
  10. [Fri04]
    Frisch, A.: Théorie, conception et réalisation d’un langage de programmation fonctionnel adapté à XML. PhD thesis, Université Paris 7 (December 2004)Google Scholar
  11. [GP03]
    Gapeyev, V., Pierce, B.C.: Regular object types. In: European Conference on Object-Oriented Programming (ECOOP), Darmstadt, Germany (2003); A preliminary version was presented at FOOL 2003Google Scholar
  12. [Hos00]
    Hosoya, H.: Regular Expression Types for XML. PhD thesis, The University of Tokyo, Japan (December 2000)Google Scholar
  13. [HP00]
    Hosoya, H., Pierce, B.C.: XDuce: A typed XML processing language. In: Proceedings of Third International Workshop on the Web and Databases WebDB 2000 (2000)Google Scholar
  14. [HP01]
    Hosoya, H., Pierce, B.C.: Regular expression pattern matching for XML. In: The 25th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2001)Google Scholar
  15. [LS04]
    Lu, K.Z.M., Sulzmann, M.: An implementation of subtyping among regular expression types. In: Chin, W.-N. (ed.) APLAS 2004. LNCS, vol. 3302, pp. 57–73. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  16. [OAC+̂04]
    Odersky, M., Altherr, P., Cremet, V., Emir, B., Maneth, S., Micheloud, S., Mihaylov, N., Schinz, M., Stenman, E., Zenger, M.: An overview of the Scala programming language. Technical Report IC/2004/64, École Polytechnique Fédérale de Lausanne (2004), Latest version at http://scala.epfl.ch

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Giuseppe Castagna
    • 1
  • Dario Colazzo
    • 2
  • Alain Frisch
    • 3
  1. 1.CNRSEcole Normale Supérieure de ParisFrance
  2. 2.LRIUniversité Paris SudOrsayFrance
  3. 3.INRIARocquencourtFrance

Personalised recommendations