Author:
Tatsuta Makoto,Chin Wei-Ngan,Al Ameen Mahmudul Faisal
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference28 articles.
1. Completeness for recursive procedures in separation logic;Ameen;Theor. Comput. Sci.,2016
2. Ten years of Hoare's logic: a survey — part I;Apt;ACM Trans. Program. Lang. Syst.,1981
3. Symbolic execution with separation logic;Berdine,2005
4. Expressiveness and the completeness of Hoare's logic;Bergstra;J. Comput. Syst. Sci.,1982
5. Formalised inductive reasoning in the logic of bunched implications;Brotherston,2007
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献