Sciweavers

Share
BDA
2007

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

10 years 1 months ago
Pattern by Example: type-driven visual programming of XML queries
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.
Véronique Benzaken, Giuseppe Castagna, Dari
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2007
Where BDA
Authors Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon
Comments (0)
books