Affiliation:
1. University of Washington, USA
Funder
Defense Advanced Research Projects Agency
National Science Foundation
U.S. Department of Energy
Reference63 articles.
1. Magic sets and other strange ways to implement logic programs (extended abstract)
2. B. Barras B. Grégoire A. Mahboubi and L. Théry. Coq reference manual chapter 25: The ring and field tactic families. https://coq.inria.fr/refman/Reference-Manual028. html. B. Barras B. Grégoire A. Mahboubi and L. Théry. Coq reference manual chapter 25: The ring and field tactic families. https://coq.inria.fr/refman/Reference-Manual028. html.
3. A Coq Formalization of the Relational Data Model
4. Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Learned Query Rewrite System;Proceedings of the VLDB Endowment;2023-08
2. SQL Nulls and Two-Valued Logic;Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems;2023-06-18
3. Predicate Pushdown for Data Science Pipelines;Proceedings of the ACM on Management of Data;2023-06-13
4. Verifying Data Constraint Equivalence in FinTech Systems;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
5. A Formalization of SQL with Nulls;Journal of Automated Reasoning;2022-07-27