Filter your results
- 20
- 12
- 22
- 3
- 3
- 2
- 1
- 1
- 1
- 32
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 3
- 2
- 2
- 3
- 1
- 2
- 1
- 30
- 2
- 30
- 9
- 9
- 5
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 32
- 14
- 10
- 7
- 6
- 5
- 5
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
SQL à l'épreuve de Coq Une sémantique formelle pour SQLJournées Francophones des Langages Applicatifs (JFLA), Jan 2019, Les Rousses, France
Conference papers
hal-01952023v1
|
||
|
Provenance Management in the EdiFlow VA WorkflowCHI Workshop on Analytic Provenance: Process+Interaction+Insight, May 2011, Held in conjunction with the ACM Conference on Human Factors in Computing Systems (CHI), Vancouver,, United States
Conference papers
hal-00690156v1
|
||
|
ReaViz: Reactive Workflows for Visual AnalyticsData Management & Visual Analytics, Jun 2009, Berlin, Germany
Conference papers
hal-00699063v1
|
||
XML TypecheckingThe Encyclopedia of Database Systems, Springer, pp.3646-3650, 2009
Book sections
hal-00434495v1
|
|||
A Full Pattern-based Paradigm for XML Query Processing2005, pp.235-252
Conference papers
hal-00152591v1
|
|||
Pattern by example: type-driven visual programming of XML queriesPPDP: ACM SIGPLAN Conference on Principles and practice of declarative programming, 2008, Spain. pp.131-142, ⟨10.1145/1389449.1389466⟩
Conference papers
hal-00336118v1
|
|||
|
Static and dynamic semantics of NoSQL languagesPOPL, Jan 2013, Rome, Italy. pp.101-114, ⟨10.1145/2429069.2429083⟩
Conference papers
hal-00797956v1
|
||
Thémis, a database programming language with integrity constraintsData Base Programming Language (DBPL), Aug 1993, New York, United States
Conference papers
hal-01501816v1
|
|||
|
Certifying Standard and Stratified Datalog Inference Engines in SSReflectInternational Conference on Interective Theorem Proving, 2017, Brasilia, Brazil
Conference papers
hal-01745566v1
|
||
|
Vers une formalisation en Coq de la provenance de données31ème Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France. pp.72-87
Conference papers
hal-03080066v1
|
||
|
EdiFlow: data-intensive interactive workflows for visual analyticsInternational conference on Data Engineering, IEEE, Apr 2011, Hannover, Germany
Conference papers
inria-00532552v1
|
||
|
Algebra-based extraction of tree patterns in XQuery2006
Other publications
inria-00001147v1
|
||
|
Reactive workflows for visual analyticsJournées Bases de Données Avancées, Oct 2009, Naumur, Belgium
Conference papers
inria-00425666v1
|
||
|
A Coq Mechanised Formal Semantics for Realistic SQL QueriesCPP 19, ACM, Jan 2019, Cascais, Portugal. pp.249-261, ⟨10.1145/3293880.3294107⟩
Conference papers
hal-01955433v1
|
||
|
Translating canonical SQL to imperative code in CoqProceedings of the ACM on Programming Languages, 2022, 6 (OOPSLA1), pp.1-27. ⟨10.1145/3527327⟩
Journal articles
hal-03876233v1
|
||
Pattern by Example: type-driven visual programming of XML queries23èmes Journées Bases de Données Avancées, Oct 2007, France
Conference papers
hal-00695245v1
|
|||
|
Structured Materialized Views for XML Queries[Research Report] 2006, pp.23
Reports
inria-00001233v6
|
||
Type-Based XML Projection2006, pp.271-282
Conference papers
hal-00152588v1
|
|||
Information flow security for XML transformations2003, pp.33-53
Conference papers
hal-00152613v1
|
|||
ℂDuce Tutorial2007
Other publications
hal-00699610v1
|
|||
|
Optimizing XML Querying using Type-based Document ProjectionACM Transactions on Database Systems, 2013, 38 (1), pp.1-45
Journal articles
hal-00798049v1
|
||
|
A Coq formalisation of SQL's execution enginesITP 2018 - International Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom. pp.88-107, ⟨10.1007/978-3-319-94821-8_6⟩
Conference papers
hal-01716048v1
|
||
|
A Coq mechanised formal semantics for realistic SQL queries * Formally reconciling SQL and bag relational algebra2018
Preprints, Working Papers, ...
hal-01830255v2
|
||
|
SQLCert: Coq mechanisation of SQL's compilation: Formally reconciling SQL and (relational) algebra2016
Preprints, Working Papers, ...
hal-01487062v1
|
||
CDuce: an XML-Centric General-Purpose Language2003, pp.51-63
Conference papers
hal-00152619v1
|
|||
|
EdiFlow: data-intensive interactive workflows for visual analyticsJournées Bases de Données Avancées, Oct 2010, Toulouse, France
Conference papers
inria-00539718v2
|
||
|
A Coq formalization of data provenanceCertified Programs and Proofs, ACM, Jan 2021, Virtual Event, Denmark. ⟨10.1145/3437992.3439920⟩
Conference papers
hal-03380459v1
|
||
|
A Core Calculus for XQuery 3.0ESOP ’15 : 24th European Symposium on Programming, 2015, London, United Kingdom. ⟨10.1007/978-3-662-46669-8_10⟩
Conference papers
hal-01104872v1
|
||
ℂDuce User's Manual2011
Other publications
hal-00699615v1
|
|||
|
Language-Integrated Queries: a BOLDR ApproachWWW 2018 - International World Wide Web Conference, Apr 2018, Lyon, France. pp.1-16, ⟨10.1145/3184558.3185973⟩
Conference papers
hal-01717995v2
|
- 1
- 2