Pattern by example: type-driven visual programming of XML queries

  • Authors:

  • Véronique Benzaken;Giuseppe Castagna;Dario Colazzo;Cédric Miachon

  • Affiliations:

  • Université Paris-Sud, Orsay - France;CNRS - PPS, Université Paris;Université Paris-Sud, Orsay - France;Université Paris-Sud, Orsay - France

  • Venue:
  • Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

We present Pattern-by-Example (PBE), a graphical language that allows users with little or no knowledge of pattern-matching and functional programming to define complex and optimized queries on XML documents. We demonstrate the key features of PBE by commenting an interactive session and then we present its semantics by formally defining a translation from PBE graphical queries into CQL ones. The advantages of the approach are twofold. First, it generates queries that are provably correct with respect to types: the type of the result is displayed to the user and this constitutes a first and immediate visual check of the semantic correctness of the resulting query. The second advantage is that a semantics formallyâ聙聰thus, unambiguouslyâ聙聰defined is an important advancement over some current approaches in which standard usage and learning methods are based on "trial and error" techniques