XQuery at your Web service
- Nicola Onose
- Jérôme Siméon
- 2004
- WWW 2004
Publications
Date
Featured collections
Popular topics
26 results for Jérôme Siméon
DXQ: A distributed XQuery scripting language
- Mary Fernández
- Trevor Jim
- et al.
- 2007
- SIGMOD 2007
Translating canonical SQL to imperative code in Coq
- Véronique Benzaken
- Évelyne Contejean
- et al.
- 2022
- Proceedings of the ACM on Programming Languages
Prototyping a query compiler using coq (Experience report)
- Joshua S. Auerbach
- Martin Hirzel
- et al.
- 2017
- Proceedings of the ACM on Programming Languages
META: Middleware for Events, Transactions, and Analytics
- Matthew Arnold
- David Grove
- et al.
- 2016
- IBM J. Res. Dev
Commutativity analysis for XML updates
- Giorgio Ghelli
- Kristoffer Rose
- et al.
- 2008
- ACM TODS