Cosette: An Automated SQL Solver - discu.eu

Hacker News

Cosette: An Automated SQL Solver http://cosette.cs.washington.edu/ 21 comments 20/7/2017

Reddit

Cosette: An Automated SQL Solver http://cosette.cs.washington.edu/ 2 comments 4/6/2017 coq

Linking pages

Introducing Cosette. Today we are thrilled to announce our… | by University of Washington Database Group | Medium https://medium.com/@uwdb/introducing-cosette-527898504bd6 68 comments
HoTTSQL: Proving query rewrites with univalent SQL semantics | the morning paper https://blog.acolyer.org/2017/10/05/hottsql-proving-query-rewrites-with-univalent-sql-semantics/ 1 comment

Related searches:

Search whole site: site:cosette.cs.washington.edu

Search title: Cosette: An Automated SQL Solver

See how to search.

Submit link to: