BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Denmark
1 × Finland
1 × France
1 × Italy
1 × Korea
1 × Norway
1 × Spain
1 × Sweden
1 × United Kingdom
2 × USA
Collaborated with:
G.Castagna K.Nguyen A.Frisch C.Miachon D.Colazzo A.Arion I.Manolescu X.Schaefer E.Contejean S.Dumbrava H.Im J.Siméon Y.Papakonstantinou R.Vijay F.Wattez S.Cluet G.Ferran C.Fiegel
Talks about:
xml (6) queri (5) pattern (3) languag (3) program (2) static (2) semant (2) type (2) hard (2) base (2)

Person: Véronique Benzaken

DBLP DBLP: Benzaken:V=eacute=ronique

Contributed to:

ESOP 20152015
ESOP 20142014
POPL 20132013
PPDP 20082008
VLDB 20072007
VLDB 20062006
PADL 20052005
VLDB 20052005
ICFP 20032003
LICS 20022002
SIGMOD 20002000
ECOOP 19971997

Wrote 12 papers:

ESOP-2015-CastagnaI0B #calculus #pattern matching #xquery
A Core Calculus for XQuery 3.0 — Combining Navigational and Pattern Matching Approaches (GC, HI, KN, VB), pp. 232–256.
ESOP-2014-BenzakenCD #coq #formal method #relational
A Coq Formalization of the Relational Data Model (VB, EC, SD), pp. 189–208.
POPL-2013-BenzakenCNS #semantics
Static and dynamic semantics of NoSQL languages (VB, GC, KN, JS), pp. 101–114.
PPDP-2008-BenzakenCCM #programming #query #visual notation #xml
Pattern by example: type-driven visual programming of XML queries (VB, GC, DC, CM), pp. 131–142.
VLDB-2007-ArionBMP #query #xml
Structured Materialized Views for XML Queries (AA, VB, IM, YP), pp. 87–98.
VLDB-2006-BenzakenCCN #type system #xml
Type-Based XML Projection (VB, GC, DC, KN), pp. 271–282.
PADL-2005-BenzakenCM #paradigm #query #xml
A Full Pattern-Based Paradigm for XML Query Processing (VB, GC, CM), pp. 235–252.
VLDB-2005-ArionBMV #named #xml
ULoad: Choosing the Right Storage for Your XML Application (AA, VB, IM, RV), pp. 1330–1333.
ICFP-2003-BenzakenCF #named #xml
CDuce: an XML-centric general-purpose language (VB, GC, AF), pp. 51–63.
LICS-2002-FrischCB #semantics #type system
Semantic Subtyping (AF, GC, VB), pp. 137–146.
SIGMOD-2000-WattezCBFF #benchmark #learning #metric #query
Benchmarking Queries over Trees: Learning the Hard Truth the Hard Way (FW, SC, VB, GF, CF), pp. 510–511.
ECOOP-1997-BenzakenS #constraints #database #object-oriented #programming language
Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformers (VB, XS), pp. 60–84.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.