Catalin Hritcu
- The Next 700 Relational Program Logics
2019/07/11 by Kenji Maillard, Cătălin Hriţcu, Maillard, Kenji +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