Documentation
Français (FR)

Anglais (EN)

Véronique Benzaken

14

Documents

Présentation

Publications

castagna

	Optimizing XML Querying using Type-based Document Projection Véronique Benzaken , Giuseppe Castagna , Dario Colazzo , Kim Nguyễn ACM Transactions on Database Systems, 2013, 38 (1), pp.1-45 Article dans une revue hal-00798049v1
	Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types Alain Frisch , Giuseppe Castagna , Véronique Benzaken Journal of the ACM (JACM), 2008, 55 (4), pp.1-64. ⟨10.1145/1391289.1391293⟩ Article dans une revue hal-00336120v1

	Language-Integrated Queries: a BOLDR Approach Véronique Benzaken , Giuseppe Castagna , Laurent Daynes , Julien Lopez , Kim Nguyen WWW 2018 - International World Wide Web Conference, Apr 2018, Lyon, France. pp.1-16, ⟨10.1145/3184558.3185973⟩ Communication dans un congrès hal-01717995v2
	A Core Calculus for XQuery 3.0 Giuseppe Castagna , Hyeonseung Im , Kim Nguyễn , Véronique Benzaken ESOP ’15 : 24th European Symposium on Programming, 2015, London, United Kingdom. ⟨10.1007/978-3-662-46669-8_10⟩ Communication dans un congrès hal-01104872v1
	Static and dynamic semantics of NoSQL languages Véronique Benzaken , Giuseppe Castagna , Kim Nguyễn , Jérôme Siméon POPL, Jan 2013, Rome, Italy. pp.101-114, ⟨10.1145/2429069.2429083⟩ Communication dans un congrès hal-00797956v1
	Pattern by example: type-driven visual programming of XML queries Véronique Benzaken , Giuseppe Castagna , Dario Colazzo , Cédric Miachon PPDP: ACM SIGPLAN Conference on Principles and practice of declarative programming, 2008, Spain. pp.131-142, ⟨10.1145/1389449.1389466⟩ Communication dans un congrès hal-00336118v1
	Pattern by Example: type-driven visual programming of XML queries Véronique Benzaken , Giuseppe Castagna , Dario Colazzo , Cédric Miachon 23èmes Journées Bases de Données Avancées, Oct 2007, France Communication dans un congrès hal-00695245v1
	Type-Based XML Projection Véronique Benzaken , Giuseppe Castagna , Dario Colazzo , Kim Nguyen 2006, pp.271-282 Communication dans un congrès hal-00152588v1
	A Full Pattern-based Paradigm for XML Query Processing Véronique Benzaken , Giuseppe Castagna , Cédric Miachon 2005, pp.235-252 Communication dans un congrès hal-00152591v1
	Information flow security for XML transformations Véronique Benzaken , Marwan Burelle , Giuseppe Castagna 2003, pp.33-53 Communication dans un congrès hal-00152613v1
	CDuce: an XML-Centric General-Purpose Language Véronique Benzaken , Giuseppe Castagna , Alain Frisch 2003, pp.51-63 Communication dans un congrès hal-00152619v1

	XML Typechecking Giuseppe Castagna , Véronique Benzaken , Haruo Hosoya , Benjamin C. Pierce , Stijn Vansummeren The Encyclopedia of Database Systems, Springer, pp.3646-3650, 2009 Chapitre d'ouvrage hal-00434495v1

	ℂDuce User's Manual Véronique Benzaken , Giuseppe Castagna , Julien Demouth , Alain Frisch , Cédric Miachon 2011 Autre publication scientifique hal-00699615v1
	ℂDuce Tutorial Véronique Benzaken , Giuseppe Castagna , Alain Frisch 2007 Autre publication scientifique hal-00699610v1