- The Next 700 Relational Program Logics
2019/07/11 by Kenji Maillard, Maillard, Kenji, Catalin Hritcu +6 · 5 citations
Computer Science · #Algorithm #Artificial intelligence #Class (philosophy) #Codd's theorem #Computer science #Conjunctive query #Correctness #Database #Distributed systems and fault tolerance #Hoare logic #Logic, programming, and type systems #Programming language #Relational algebra #Relational calculus #Relational database #Relational model #Relational theory #Security and Verification in Computing #Sketch #Statistical relational learning #Theoretical computer science #cs.CR #cs.LO #cs.PL
- Verification Logics for Quantum Programs
2019/04/08 by Robert Rand, Robert W. Rand, Rand, Robert · 1 voice · 6 citations
Computer Science · #Computability, Logic, AI Algorithms #Computer science #Correctness #Hoare logic #Human–computer interaction #Logic, programming, and type systems #Physics #Programming language #Quantum #Quantum Computing Algorithms and Architecture #Quantum computer #Quantum logic #Quantum mechanics #Theoretical computer science #Usability #cs.ET #cs.LO #cs.PL