René's URL Explorer Experiment


Title: Q*cert

direct link

Domain: querycert.github.io

NoneIE=edge

Links:

Q*certhttps://querycert.github.io/index.html
Homehttps://querycert.github.io/index.html
Commented Codehttps://querycert.github.io/doc.html
Demohttps://querycert.github.io/demo.html
githubhttp://github.com/querycert/qcert
Coq proof assistanthttps://coq.inria.fr
Get the code http://github.com/querycert/qcert
Try it online https://querycert.github.io/demo.html
githubhttps://github.com/querycert/qcert
compiler driverhttps://querycert.github.io/html/Qcert.Compiler.Driver.CompDriver.html#driver
TechRulehttps://querycert.github.io/html/Qcert.TechRule.Lang.TechRule.html
DesignerRulehttps://querycert.github.io/html/Qcert.DesignRule.Lang.DesignRule.html
CAMPRulehttps://querycert.github.io/html/Qcert.CAMPRule.Lang.CAMPRule.html
𝝀-NRAhttps://querycert.github.io/html/Qcert.LambdaNRA.Lang.LambdaNRA.html
SQLhttps://querycert.github.io/html/Qcert.SQL.Lang.SQL.html
SQL++https://querycert.github.io/html/Qcert.SQLPP.Lang.SQLPP.html
OQLhttps://querycert.github.io/html/Qcert.OQL.Lang.OQL.html
CAMPhttps://querycert.github.io/html/Qcert.CAMP.Lang.CAMP.html
NRAhttps://querycert.github.io/html/Qcert.NRA.Lang.NRA.html
NRAehttps://querycert.github.io/html/Qcert.NRAEnv.Lang.NRAEnv.html
cNRAehttps://querycert.github.io/html/Qcert.cNRAEnv.Lang.cNRAEnv.html
NNRChttps://querycert.github.io/html/Qcert.NNRC.Lang.NNRC.html
cNNRChttps://querycert.github.io/html/Qcert.cNNRC.Lang.cNNRC.html
NNRShttps://querycert.github.io/html/Qcert.NNRS.Lang.NNRS.html
DNNRChttps://querycert.github.io/html/Qcert.DNNRC.Lang.DNNRC.html
tDNNRChttps://querycert.github.io/html/Qcert.tDNNRC.Lang.tDNNRC.html
NNRCMRhttps://querycert.github.io/html/Qcert.NNRCMR.Lang.NNRCMR.html
CldMRhttps://querycert.github.io/html/Qcert.CldMR.Lang.CldMR.html
META: Middleware for Events, Transactions, and Analyticshttps://doi.org/10.1147/JRD.2016.2527419
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanizationhttp://drops.dagstuhl.de/opus/volltexte/2015/5237/
slideshttps://querycert.github.io/slides/CAMP-ecoop15.pdf
A Branding Strategy for Business Typeshttp://rd.springer.com/chapter/10.1007/978-3-319-30936-1_20?cm_mc_uid=18475580378714936652973&cm_mc_sid_50200000=
slideshttps://querycert.github.io/slides/icfp17-slides.pdf
Prototyper un compilateur de requêtes avec Coqhttps://querycert.github.io/papers/jfla2017.pdf
slideshttps://querycert.github.io/slides/jfla2017.pdf
Handling Environments in a Nested Relational Algebra with Combinators and an Implementation in a Verified Query Compilerhttp://hirzels.com/martin/papers/sigmod17-nra-env.pdf
slideshttps://querycert.github.io/slides/sigmod2017.pdf
Q*cert: A Platform for Implementing and Verifying Query Compilershttp://hirzels.com/martin/papers/sigmod17-qcert.pdf
posterhttps://querycert.github.io/slides/qcert-poster.pdf
semantics optimization of language integrated querieshttp://wisnesky.net/dbpl15.pdf
A Coq Formalization of the Relational Data Modelhttps://www.lri.fr/~benzaken/papers/esop14.pdf
Datacert projecthttps://vals.lri.fr/contracts.html
Mechanizing the metatheory of mini-XQueryhttp://homepages.inf.ed.ac.uk/jcheney/projects/XQuery/
Toward a Verified Relational Database Management Systemhttp://ynot.cs.harvard.edu/papers/popl10.pdf
Coko-Kolahttp://www.cs.brandeis.edu/~cokokola/
Larch theorem proverhttp://www.sds.lcs.mit.edu/spd/larch/index.html
Jerome Simeonhttp://researcher.watson.ibm.com/person/us-simeon

Viewport: width=device-width, initial-scale=1

URLs of crawlers that visited me.