Demri, Stéphane; Lozes, Étienne; Mansutti, Alessio A complete axiomatisation for quantifier-free separation logic. (English) Zbl 07407789 Log. Methods Comput. Sci. 17, No. 3, Paper No. 17, 64 p. (2021). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{S. Demri} et al., Log. Methods Comput. Sci. 17, No. 3, Paper No. 17, 64 p. (2021; Zbl 07407789) Full Text: arXiv Link
Demri, Stéphane On temporal and separation logics. (English) Zbl 1487.68080 Alechina, Natasha (ed.) et al., 25th international symposium on temporal representation and reasoning. TIME 2018, Warsaw, Poland, October 15–17, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 120, Article 1, 4 p. (2018). MSC: 68N30 03B44 03B70 68Q60 PDFBibTeX XMLCite \textit{S. Demri}, LIPIcs -- Leibniz Int. Proc. Inform. 120, Article 1, 4 p. (2018; Zbl 1487.68080) Full Text: DOI
Hóu, Zhé; Sanán, David; Tiu, Alwen; Liu, Yang Proof tactics for assertions in separation logic. (English) Zbl 1483.03004 Ayala-Rincón, Mauricio (ed.) et al., Interactive theorem proving. 8th international conference, ITP 2017, Brasília, Brazil, September 26–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10499, 285-303 (2017). MSC: 03B35 03B70 68V15 PDFBibTeX XMLCite \textit{Z. Hóu} et al., Lect. Notes Comput. Sci. 10499, 285--303 (2017; Zbl 1483.03004) Full Text: DOI Link
Demri, Stephane; Deters, Morgan Expressive completeness of separation logic with two variables and no separating conjunction. (English) Zbl 1367.03053 ACM Trans. Comput. Log. 17, No. 2, Article No. 12, 44 p. (2016). MSC: 03B70 68N30 PDFBibTeX XMLCite \textit{S. Demri} and \textit{M. Deters}, ACM Trans. Comput. Log. 17, No. 2, Article No. 12, 44 p. (2016; Zbl 1367.03053) Full Text: DOI
Hóu, Zhé; Tiu, Alwen Completeness for a first-order abstract separation logic. (English) Zbl 1485.03077 Igarashi, Atsushi (ed.), Programming languages and systems. 14th Asian symposium, APLAS 2016, Hanoi, Vietnam, November 21–23, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10017, 444-463 (2016). MSC: 03B70 03B35 68V15 PDFBibTeX XMLCite \textit{Z. Hóu} and \textit{A. Tiu}, Lect. Notes Comput. Sci. 10017, 444--463 (2016; Zbl 1485.03077) Full Text: DOI arXiv
Gu, Xincai; Chen, Taolue; Wu, Zhilin A complete decision procedure for linearly compositional separation logic with data constraints. (English) Zbl 1475.68185 Olivetti, Nicola (ed.) et al., Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9706, 532-549 (2016). MSC: 68Q60 03B70 68N30 68Q25 PDFBibTeX XMLCite \textit{X. Gu} et al., Lect. Notes Comput. Sci. 9706, 532--549 (2016; Zbl 1475.68185) Full Text: DOI