@inproceedings{f7f342502f8341be9a71249534fd0fef,
title = "Pattern by example: Type-driven visual Programming of XML queries",
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.",
keywords = "Database programming languages, Functional programming, Type systems, Visual programming",
author = "V{\'e}ronique Benzaken and Giuseppe Castagna and Dario Colazzo and C{\'e}dric Miachon",
year = "2008",
month = dec,
day = "17",
doi = "10.1145/1389449.1389466",
language = "English",
isbn = "9781605581170",
series = "PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming",
pages = "131--142",
booktitle = "PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming",
note = "PPDP 2008: 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming ; Conference date: 15-07-2008 Through 17-07-2008",
}