vix.ing · top · new · best · stats · spec

Mohammad Nikouei

  1. A Relational Program Logic with Data Abstraction and Dynamic Framing
    2019/10/31 by Anindya Banerjee, Ramana Nagasamudram, Banerjee, Anindya +5 · 1 voice · 1 citation
    Computer Science · #Advanced Database Systems and Queries #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #cs.LO #cs.PL