Gutik, O. V.; Mykhalenych, M. S. On a semitopological semigroup \(\boldsymbol{B}_{\omega}^{\mathscr{F}}\) when a family \(\mathscr{F}\) consists of inductive non-empty subsets of \(\omega \). (English) Zbl 07682649 Mat. Stud. 59, No. 1, 20-28 (2023). MSC: 20A15 22A15 54D10 54D30 54H12 PDF BibTeX XML Cite \textit{O. V. Gutik} and \textit{M. S. Mykhalenych}, Mat. Stud. 59, No. 1, 20--28 (2023; Zbl 07682649) Full Text: DOI arXiv OpenURL
Bednarczyk, Bartosz; Demri, Stéphane; Fervari, Raul; Mansutti, Alessio On composing finite forests with modal logics. (English) Zbl 07672671 ACM Trans. Comput. Log. 24, No. 2, Paper No. 12, 46 p. (2023). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{B. Bednarczyk} et al., ACM Trans. Comput. Log. 24, No. 2, Paper No. 12, 46 p. (2023; Zbl 07672671) Full Text: DOI OpenURL
Tang, Yu Jie; Xin, Xiao Long; Zhou, Xin Spectra and reticulation of semihoops. (English) Zbl 07642981 Open Math. 20, 1276-1287 (2022). MSC: 03G25 06D35 54D10 54D30 PDF BibTeX XML Cite \textit{Y. J. Tang} et al., Open Math. 20, 1276--1287 (2022; Zbl 07642981) Full Text: DOI OpenURL
Jin, Zhao; Zhang, Bowen; Cao, Tianyue; Cao, Yongzhi; Wang, Hanpin Reasoning about block-based cloud storage systems via separation logic. (English) Zbl 07604601 Theor. Comput. Sci. 936, 43-76 (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{Z. Jin} et al., Theor. Comput. Sci. 936, 43--76 (2022; Zbl 07604601) Full Text: DOI OpenURL
Haase, Darion; Grädel, Erich; Wilke, Richard Separation logic and logics with team semantics. (English) Zbl 07587325 Ann. Pure Appl. Logic 173, No. 10, Article ID 103063, 13 p. (2022). MSC: 03B70 03B60 03C80 68Q60 PDF BibTeX XML Cite \textit{D. Haase} et al., Ann. Pure Appl. Logic 173, No. 10, Article ID 103063, 13 p. (2022; Zbl 07587325) Full Text: DOI OpenURL
Rakhshani, M. R.; Rezaei, G. R.; Borzooei, R. A. Results on topological lattice effect algebras. (English) Zbl 1491.03083 Missouri J. Math. Sci. 34, No. 1, 67-84 (2022). MSC: 03G12 03G25 06B30 54A10 PDF BibTeX XML Cite \textit{M. R. Rakhshani} et al., Missouri J. Math. Sci. 34, No. 1, 67--84 (2022; Zbl 1491.03083) Full Text: DOI OpenURL
Guelev, Dimitar P.; Moszkowski, Ben A separation theorem for discrete-time interval temporal logic. (English) Zbl 07523493 J. Appl. Non-Class. Log. 32, No. 1, 28-54 (2022); correction ibid. 32, No. 4, 335-338 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{D. P. Guelev} and \textit{B. Moszkowski}, J. Appl. Non-Class. Log. 32, No. 1, 28--54 (2022; Zbl 07523493) Full Text: DOI OpenURL
Safari, Mohsen; Huisman, Marieke Formal verification of parallel prefix sum and stream compaction algorithms in CUDA. (English) Zbl 1483.68091 Theor. Comput. Sci. 912, 81-98 (2022). MSC: 68N30 03B70 68Q60 68W10 PDF BibTeX XML Cite \textit{M. Safari} and \textit{M. Huisman}, Theor. Comput. Sci. 912, 81--98 (2022; Zbl 1483.68091) Full Text: DOI OpenURL
Vakarelov, Dimiter Dynamic contact algebras with a predicate of actual existence: snapshot representation and topological duality. (English) Zbl 07469219 Düntsch, Ivo (ed.) et al., Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs. Cham: Springer. Outst. Contrib. Log. 22, 411-475 (2022). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 03B44 03G25 08A02 18A23 54D10 54D30 54H10 PDF BibTeX XML Cite \textit{D. Vakarelov}, Outst. Contrib. Log. 22, 411--475 (2022; Zbl 07469219) Full Text: DOI OpenURL
Jin, Zhao; Zhang, Bowen; Zhang, Lei; Cao, Yongzhi; Wang, Hanpin An adaptation-complete proof system for local reasoning about cloud storage systems. (English) Zbl 07467468 Theor. Comput. Sci. 903, 39-73 (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{Z. Jin} et al., Theor. Comput. Sci. 903, 39--73 (2022; Zbl 07467468) Full Text: DOI OpenURL
Aurichi, Leandro; Bella, Angelo; Spadaro, Santi Cardinal estimates involving the weak Lindelöf game. (English) Zbl 1479.54018 Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat., RACSAM 116, No. 1, Paper No. 5, 10 p. (2022). Reviewer: Robert M. Stephenson Jr. (Columbia) MSC: 54A25 54D20 54D10 91A44 PDF BibTeX XML Cite \textit{L. Aurichi} et al., Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat., RACSAM 116, No. 1, Paper No. 5, 10 p. (2022; Zbl 1479.54018) Full Text: DOI OpenURL
Echenim, Mnacho; Iosif, Radu; Peltier, Nicolas Entailment is undecidable for symbolic heap separation logic formulæ with non-established inductive rules. (English) Zbl 07411507 Inf. Process. Lett. 173, Article ID 106169, 5 p. (2022). MSC: 03B70 03B25 03B35 PDF BibTeX XML Cite \textit{M. Echenim} et al., Inf. Process. Lett. 173, Article ID 106169, 5 p. (2022; Zbl 07411507) Full Text: DOI HAL OpenURL
Beringer, Lennart; Appel, Andrew W. Abstraction and subsumption in modular verification of C programs. (English) Zbl 1505.68023 Form. Methods Syst. Des. 58, No. 1-2, 322-345 (2021). MSC: 68Q60 03B70 68N15 68N30 PDF BibTeX XML Cite \textit{L. Beringer} and \textit{A. W. Appel}, Form. Methods Syst. Des. 58, No. 1--2, 322--345 (2021; Zbl 1505.68023) Full Text: DOI OpenURL
Göçür, Orhan Amply soft set and its topologies: AS and PAS topologies. (English) Zbl 07543263 AIMS Math. 6, No. 4, 3121-3141 (2021). MSC: 54A10 54A05 03E72 03E05 03G25 54A40 54D10 54D15 PDF BibTeX XML Cite \textit{O. Göçür}, AIMS Math. 6, No. 4, 3121--3141 (2021; Zbl 07543263) Full Text: DOI OpenURL
Mohan, Anshuman; Leow, Wei Xiang; Hobor, Aquinas Functional correctness of C implementations of Dijkstra’s, Kruskal’s, and Prim’s algorithms. (English) Zbl 1493.68216 Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 801-826 (2021). MSC: 68Q60 68R10 68V15 PDF BibTeX XML Cite \textit{A. Mohan} et al., Lect. Notes Comput. Sci. 12760, 801--826 (2021; Zbl 1493.68216) Full Text: DOI OpenURL
Illous, Hugo; Lemerre, Matthieu; Rival, Xavier A relational shape abstract domain. (English) Zbl 07440327 Form. Methods Syst. Des. 57, No. 3, 343-400 (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{H. Illous} et al., Form. Methods Syst. Des. 57, No. 3, 343--400 (2021; Zbl 07440327) Full Text: DOI Link OpenURL
Kočinac, Ljubiša D. R. Addendum to: “Variations of classical selection principles: an overview”. (English) Zbl 1477.54023 Quaest. Math. 44, No. 9, 1281-1282 (2021). MSC: 54D20 54-02 05C55 54B99 54C99 54D10 54E15 91A44 PDF BibTeX XML Cite \textit{L. D. R. Kočinac}, Quaest. Math. 44, No. 9, 1281--1282 (2021; Zbl 1477.54023) Full Text: DOI OpenURL
Le, Quang Loc Compositional satisfiability solving in separation logic. (English) Zbl 1472.03025 Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 578-602 (2021). MSC: 03B70 03B25 68T20 PDF BibTeX XML Cite \textit{Q. L. Le}, Lect. Notes Comput. Sci. 12597, 578--602 (2021; Zbl 1472.03025) Full Text: DOI OpenURL
Place, Thomas; Zeitoun, Marc Separation for dot-depth two. (English) Zbl 07407796 Log. Methods Comput. Sci. 17, No. 3, Paper No. 24, 42 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{T. Place} and \textit{M. Zeitoun}, Log. Methods Comput. Sci. 17, No. 3, Paper No. 24, 42 p. (2021; Zbl 07407796) Full Text: arXiv Link OpenURL
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 PDF BibTeX XML Cite \textit{S. Demri} et al., Log. Methods Comput. Sci. 17, No. 3, Paper No. 17, 64 p. (2021; Zbl 07407789) Full Text: arXiv Link OpenURL
Frumin, Dan; Krebbers, Robbert; Birkedal, Lars ReLoC reloaded: a mechanized relational logic for fine-grained concurrency and logical atomicity. (English) Zbl 07407781 Log. Methods Comput. Sci. 17, No. 3, Paper No. 9, 59 p. (2021). MSC: 03B70 03B35 68Q85 68V20 PDF BibTeX XML Cite \textit{D. Frumin} et al., Log. Methods Comput. Sci. 17, No. 3, Paper No. 9, 59 p. (2021; Zbl 07407781) Full Text: arXiv Link OpenURL
Demri, Stéphane; Fervari, Raul; Mansutti, Alessio Internal proof calculi for modal logics with separating conjunction. (English) Zbl 07398775 J. Log. Comput. 31, No. 3, 832-891 (2021). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{S. Demri} et al., J. Log. Comput. 31, No. 3, 832--891 (2021; Zbl 07398775) Full Text: DOI HAL OpenURL
Boudou, Joseph; Herzig, Andreas; Troquard, Nicolas Resource separation in dynamic logic of propositional assignments. (English) Zbl 07377684 J. Log. Algebr. Methods Program. 121, Article ID 100683, 17 p. (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{J. Boudou} et al., J. Log. Algebr. Methods Program. 121, Article ID 100683, 17 p. (2021; Zbl 07377684) Full Text: DOI Link OpenURL
Bezhanishvili, Guram; Bezhanishvili, Nick; Lucero-Bryan, Joel; van Mill, Jan Characterizing existence of a measurable cardinal via modal logic. (English) Zbl 07370819 J. Symb. Log. 86, No. 1, 162-177 (2021). MSC: 03B45 03E55 54D15 54G05 54G12 PDF BibTeX XML Cite \textit{G. Bezhanishvili} et al., J. Symb. Log. 86, No. 1, 162--177 (2021; Zbl 07370819) Full Text: DOI OpenURL
Kimura, Daisuke; Tatsuta, Makoto Decidability for entailments of symbolic heaps with arrays. (English) Zbl 07350781 Log. Methods Comput. Sci. 17, No. 2, Paper No. 15, 33 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{D. Kimura} and \textit{M. Tatsuta}, Log. Methods Comput. Sci. 17, No. 2, Paper No. 15, 33 p. (2021; Zbl 07350781) Full Text: arXiv Link OpenURL
Demri, Stéphane; Lozes, Etienne; Mansutti, Alessio Internal calculi for separation logics. (English) Zbl 07650832 Fernández, Maribel (ed.) et al., 28th EACSL annual conference on computer science logic, CSL 2020, Barcelona, Spain, January 13–16, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 152, Article 19, 18 p. (2020). MSC: 68-XX 03B70 PDF BibTeX XML Cite \textit{S. Demri} et al., LIPIcs -- Leibniz Int. Proc. Inform. 152, Article 19, 18 p. (2020; Zbl 07650832) Full Text: DOI arXiv OpenURL
Krogh-Jespersen, Morten; Timany, Amin; Ohlenbusch, Marit Edna; Gregersen, Simon Oddershede; Birkedal, Lars Aneris: a mechanised logic for modular reasoning about distributed systems. (English) Zbl 07600935 Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 336-365 (2020). MSC: 68Q85 03B70 68Q60 PDF BibTeX XML Cite \textit{M. Krogh-Jespersen} et al., Lect. Notes Comput. Sci. 12075, 336--365 (2020; Zbl 07600935) Full Text: DOI OpenURL
Lysetska, Oleksandra On feebly compact topologies on the semigroup \(\mathbb{B}_{\omega}^{\mathfrak{F_1}}\). (English) Zbl 1499.22006 Visn. L’viv. Univ., Ser. Mekh.-Mat. 90, 48-56 (2020). MSC: 22A15 20A15 54D10 54D30 54H12 PDF BibTeX XML Cite \textit{O. Lysetska}, Visn. L'viv. Univ., Ser. Mekh.-Mat. 90, 48--56 (2020; Zbl 1499.22006) Full Text: DOI OpenURL
Mehta, Mihir Parang; Cook, William R. Separation logic-based verification atop a binary-compatible filesystem model. (English) Zbl 1475.68094 Carvalho, Gustavo (ed.) et al., Formal methods: foundations and applications. 23rd Brazilian symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12475, 155-170 (2020). MSC: 68N30 03B70 68Q60 PDF BibTeX XML Cite \textit{M. P. Mehta} and \textit{W. R. Cook}, Lect. Notes Comput. Sci. 12475, 155--170 (2020; Zbl 1475.68094) Full Text: DOI HAL OpenURL
Safari, Mohsen; Huisman, Marieke Formal verification of parallel stream compaction and summed-area table algorithms. (English) Zbl 07369989 Pun, Violet Ka I. (ed.) et al., Theoretical aspects of computing – ICTAC 2020. 17th international colloquium, Macau, China, November 30 – December 4, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12545, 181-199 (2020). MSC: 68Qxx PDF BibTeX XML Cite \textit{M. Safari} and \textit{M. Huisman}, Lect. Notes Comput. Sci. 12545, 181--199 (2020; Zbl 07369989) Full Text: DOI OpenURL
Raad, Azalea; Berdine, Josh; Dang, Hoang-Hai; Dreyer, Derek; O’Hearn, Peter; Villard, Jules Local reasoning about the presence of bugs: incorrectness separation logic. (English) Zbl 1478.68057 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 225-252 (2020). MSC: 68N30 03B70 PDF BibTeX XML Cite \textit{A. Raad} et al., Lect. Notes Comput. Sci. 12225, 225--252 (2020; Zbl 1478.68057) Full Text: DOI OpenURL
Brotherston, James; Costa, Diana; Hobor, Aquinas; Wickerson, John Reasoning over permissions regions in concurrent separation logic. (English) Zbl 1478.68051 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 203-224 (2020). MSC: 68N30 03B70 68Q85 PDF BibTeX XML Cite \textit{J. Brotherston} et al., Lect. Notes Comput. Sci. 12225, 203--224 (2020; Zbl 1478.68051) Full Text: DOI OpenURL
Melliès, Paul-André; Stefanesco, Léo Concurrent separation logic meets template games. (English) Zbl 07299509 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 742-755 (2020). MSC: 68-XX 03B70 PDF BibTeX XML Cite \textit{P.-A. Melliès} and \textit{L. Stefanesco}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 742--755 (2020; Zbl 07299509) Full Text: DOI arXiv OpenURL
Curzi, Gianluca; Pagani, Michele The benefit of being non-lazy in probabilistic \(\lambda \)-calculus. Applicative bisimulation is fully abstract for non-lazy probabilistic call-by-name. (English) Zbl 1498.03041 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 327-340 (2020). MSC: 03B40 03B48 68Q85 PDF BibTeX XML Cite \textit{G. Curzi} and \textit{M. Pagani}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 327--340 (2020; Zbl 1498.03041) Full Text: DOI OpenURL
Bednarczyk, Bartosz; Demri, Stéphane; Fervari, Raul; Mansutti, Alessio Modal logics with composition on finite forests: expressivity and complexity. (English) Zbl 1498.03049 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 167-180 (2020). MSC: 03B45 PDF BibTeX XML Cite \textit{B. Bednarczyk} et al., in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 167--180 (2020; Zbl 1498.03049) Full Text: DOI OpenURL
Cao, Feng; Xu, Yang; Chen, Shuwei; Wu, Guanfeng; Chang, Wenjing Application of multi-clause synergized deduction in first-order logic automated theorem proving. (Chinese. English summary) Zbl 1474.68452 J. Southwest Jiaotong Univ. 55, No. 2, 401-408, 427 (2020). MSC: 68V15 03B10 03B35 PDF BibTeX XML Cite \textit{F. Cao} et al., J. Southwest Jiaotong Univ. 55, No. 2, 401--408, 427 (2020; Zbl 1474.68452) Full Text: DOI OpenURL
Kočinac, Ljubiša D. R. Variations of classical selection principles: an overview. (English) Zbl 1450.54010 Quaest. Math. 43, No. 8, 1121-1153 (2020); addendum ibid. 44, No. 9, 1281-1282 (2021). MSC: 54D20 54-02 05C55 54B99 54C99 54D10 54E15 91A44 PDF BibTeX XML Cite \textit{L. D. R. Kočinac}, Quaest. Math. 43, No. 8, 1121--1153 (2020; Zbl 1450.54010) Full Text: DOI OpenURL
Echenim, Mnacho; Iosif, Radu; Peltier, Nicolas The Bernays-Schönfinkel-Ramsey class of separation logic with uninterpreted predicates. (English) Zbl 1446.03064 ACM Trans. Comput. Log. 21, No. 3, Article No. 19, 46 p. (2020). MSC: 03B70 68Q17 68Q60 PDF BibTeX XML Cite \textit{M. Echenim} et al., ACM Trans. Comput. Log. 21, No. 3, Article No. 19, 46 p. (2020; Zbl 1446.03064) Full Text: DOI HAL OpenURL
Boudou, Joseph; Herzig, Andreas; Troquard, Nicolas Resource separation in dynamic logic of propositional assignments. (English) Zbl 1496.03124 Soares Barbosa, Luís (ed.) et al., Dynamic logic. New trends and applications. Second international workshop, DALI 2019, Porto, Portugal, October 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12005, 155-170 (2020). MSC: 03B70 68Q17 68Q60 PDF BibTeX XML Cite \textit{J. Boudou} et al., Lect. Notes Comput. Sci. 12005, 155--170 (2020; Zbl 1496.03124) Full Text: DOI arXiv Link OpenURL
Lu, Xu; Duan, Zhenhua; Tian, Cong; Du, Hongwei Verify heaps via unified model checking. (English) Zbl 1464.68209 Theor. Comput. Sci. 819, 35-49 (2020). MSC: 68Q60 03B44 03B70 68N30 68P05 PDF BibTeX XML Cite \textit{X. Lu} et al., Theor. Comput. Sci. 819, 35--49 (2020; Zbl 1464.68209) Full Text: DOI OpenURL
Tellez, Gadi; Brotherston, James Automatically verifying temporal properties of pointer programs with cyclic proof. (English) Zbl 1468.68137 J. Autom. Reasoning 64, No. 3, 555-578 (2020). MSC: 68Q60 03B44 68V15 PDF BibTeX XML Cite \textit{G. Tellez} and \textit{J. Brotherston}, J. Autom. Reasoning 64, No. 3, 555--578 (2020; Zbl 1468.68137) Full Text: DOI OpenURL
Place, Thomas; Zeitoun, Marc Adding successor. A transfer theorem for separation and covering. (English) Zbl 1433.03103 ACM Trans. Comput. Log. 21, No. 2, Article No. 9, 45 p. (2020). MSC: 03D05 68Q45 PDF BibTeX XML Cite \textit{T. Place} and \textit{M. Zeitoun}, ACM Trans. Comput. Log. 21, No. 2, Article No. 9, 45 p. (2020; Zbl 1433.03103) Full Text: DOI arXiv OpenURL
Lammich, Peter Generating verified LLVM from Isabelle/HOL. (English) Zbl 07649971 Harrison, John (ed.) et al., 10th international conference on interactive theorem proving, ITP 2019, September 9–12, 2019, Portland, OR, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 141, Article 22, 19 p. (2019). MSC: 68T15 PDF BibTeX XML Cite \textit{P. Lammich}, LIPIcs -- Leibniz Int. Proc. Inform. 141, Article 22, 19 p. (2019; Zbl 07649971) Full Text: DOI OpenURL
Haslbeck, Maximilian P. L.; Lammich, Peter Refinement with time – refining the run-time of algorithms in Isabelle/HOL. (English) Zbl 07649969 Harrison, John (ed.) et al., 10th international conference on interactive theorem proving, ITP 2019, September 9–12, 2019, Portland, OR, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 141, Article 20, 18 p. (2019). MSC: 68T15 PDF BibTeX XML Cite \textit{M. P. L. Haslbeck} and \textit{P. Lammich}, LIPIcs -- Leibniz Int. Proc. Inform. 141, Article 20, 18 p. (2019; Zbl 07649969) Full Text: DOI OpenURL
Borzooei, R. A.; Rakhshani, M. R.; Rezaei, G. R. Separation axioms on topological effect algebras. (English) Zbl 1488.03063 An. Univ. Craiova, Ser. Mat. Inf. 46, No. 2, 254-268 (2019). MSC: 03G12 06F30 54D10 54D15 81P10 PDF BibTeX XML Cite \textit{R. A. Borzooei} et al., An. Univ. Craiova, Ser. Mat. Inf. 46, No. 2, 254--268 (2019; Zbl 1488.03063) OpenURL
Wang, Hanpin; Zhang, Bowen The technical foundation and research advances of separation logic. (Chinese. English summary) Zbl 1449.03012 J. Guangzhou Univ., Nat. Sci. 18, No. 2, 1-9 (2019). MSC: 03B70 68Q60 PDF BibTeX XML Cite \textit{H. Wang} and \textit{B. Zhang}, J. Guangzhou Univ., Nat. Sci. 18, No. 2, 1--9 (2019; Zbl 1449.03012) OpenURL
Wu, Tao; Zhao, Bin The properties of \(\models\)-filters of a topological system. (English) Zbl 1451.06003 Soft Comput. 23, No. 24, 12951-12960 (2019). Reviewer: Sergejs Solovjovs (Praha) MSC: 06B30 03G25 06B10 06D22 18F70 54D10 PDF BibTeX XML Cite \textit{T. Wu} and \textit{B. Zhao}, Soft Comput. 23, No. 24, 12951--12960 (2019; Zbl 1451.06003) Full Text: DOI OpenURL
Hoare, Tony; Struth, Georg; Woodcock, Jim A calculus of space, time, and causality: its algebra, geometry, logic. (English) Zbl 07168631 Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11885, 3-21 (2019). MSC: 68N30 PDF BibTeX XML Cite \textit{T. Hoare} et al., Lect. Notes Comput. Sci. 11885, 3--21 (2019; Zbl 07168631) Full Text: DOI Link OpenURL
Demri, Stéphane; Fervari, Raul The power of modal separation logics. (English) Zbl 1444.03113 J. Log. Comput. 29, No. 8, 1139-1184 (2019). MSC: 03B70 03B45 68Q60 PDF BibTeX XML Cite \textit{S. Demri} and \textit{R. Fervari}, J. Log. Comput. 29, No. 8, 1139--1184 (2019; Zbl 1444.03113) Full Text: DOI HAL OpenURL
Hamin, Jafar Starvation-free monitors. (English) Zbl 07142676 Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11884, 175-195 (2019). MSC: 68Qxx PDF BibTeX XML Cite \textit{J. Hamin}, Lect. Notes Comput. Sci. 11884, 175--195 (2019; Zbl 07142676) Full Text: DOI Link OpenURL
Place, Thomas; Zeitoun, Marc Going higher in first-order quantifier alternation hierarchies on words. (English) Zbl 1427.03050 J. ACM 66, No. 2, Article No. 12, 65 p. (2019). MSC: 03D05 03B25 03C13 PDF BibTeX XML Cite \textit{T. Place} and \textit{M. Zeitoun}, J. ACM 66, No. 2, Article No. 12, 65 p. (2019; Zbl 1427.03050) Full Text: DOI arXiv OpenURL
Place, Thomas; Zeitoun, Marc Generic results for concatenation hierarchies. (English) Zbl 1423.68264 Theory Comput. Syst. 63, No. 4, 849-901 (2019). MSC: 68Q45 68-02 68-03 PDF BibTeX XML Cite \textit{T. Place} and \textit{M. Zeitoun}, Theory Comput. Syst. 63, No. 4, 849--901 (2019; Zbl 1423.68264) Full Text: DOI arXiv OpenURL
Tatsuta, Makoto; Chin, Wei-Ngan; Al Ameen, Mahmudul Faisal Completeness and expressiveness of pointer program verification by separation logic. (English) Zbl 1422.68038 Inf. Comput. 267, 1-27 (2019). MSC: 68N30 03B70 68Q60 PDF BibTeX XML Cite \textit{M. Tatsuta} et al., Inf. Comput. 267, 1--27 (2019; Zbl 1422.68038) Full Text: DOI OpenURL
Courtault, J. R.; van Ditmarsch, H.; Galmiche, D. A public announcement separation logic. (English) Zbl 1456.03030 Math. Struct. Comput. Sci. 29, No. 6, 828-871 (2019). MSC: 03B42 PDF BibTeX XML Cite \textit{J. R. Courtault} et al., Math. Struct. Comput. Sci. 29, No. 6, 828--871 (2019; Zbl 1456.03030) Full Text: DOI OpenURL
Place, Thomas; Ramanathan, Varun; Weil, Pascal Covering and separation for logical fragments with modular predicates. (English) Zbl 07056235 Log. Methods Comput. Sci. 15, No. 2, Paper No. 11, 32 p. (2019). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{T. Place} et al., Log. Methods Comput. Sci. 15, No. 2, Paper No. 11, 32 p. (2019; Zbl 07056235) Full Text: arXiv OpenURL
Sabao, Hope; Otafudu, Olivier Olela Infinite games and quasi-uniform box products. (English) Zbl 1418.54002 Appl. Gen. Topol. 20, No. 1, 57-73 (2019). Reviewer: Renan Mezabarba (Vitória) MSC: 54A15 54B10 54E35 54D15 91A44 PDF BibTeX XML Cite \textit{H. Sabao} and \textit{O. O. Otafudu}, Appl. Gen. Topol. 20, No. 1, 57--73 (2019; Zbl 1418.54002) Full Text: Link OpenURL
Ta, Quang-Trung; Le, Ton Chanh; Khoo, Siau-Cheng; Chin, Wei-Ngan Automated mutual induction proof in separation logic. (English) Zbl 1425.68382 Formal Asp. Comput. 31, No. 2, 207-230 (2019). MSC: 68T15 03B70 PDF BibTeX XML Cite \textit{Q.-T. Ta} et al., Formal Asp. Comput. 31, No. 2, 207--230 (2019; Zbl 1425.68382) Full Text: DOI OpenURL
Lammich, Peter Refinement to imperative HOL. (English) Zbl 1465.68291 J. Autom. Reasoning 62, No. 4, 481-503 (2019). MSC: 68V15 68P05 68V20 68W01 PDF BibTeX XML Cite \textit{P. Lammich}, J. Autom. Reasoning 62, No. 4, 481--503 (2019; Zbl 1465.68291) Full Text: DOI Link OpenURL
Babinkostova, L.; Pansera, B. A.; Scheepers, M. Selective versions of \(\theta\)-density. (English) Zbl 07047523 Topology Appl. 258, 268-281 (2019). MSC: 03E17 54D10 54D20 54D65 91A05 91A44 PDF BibTeX XML Cite \textit{L. Babinkostova} et al., Topology Appl. 258, 268--281 (2019; Zbl 07047523) Full Text: DOI arXiv OpenURL
Charguéraud, Arthur; Pottier, François Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits. (English) Zbl 1468.68120 J. Autom. Reasoning 62, No. 3, 331-365 (2019). MSC: 68Q60 03B70 68N18 68P05 68V20 PDF BibTeX XML Cite \textit{A. Charguéraud} and \textit{F. Pottier}, J. Autom. Reasoning 62, No. 3, 331--365 (2019; Zbl 1468.68120) Full Text: DOI Link OpenURL
Docherty, Simon; Pym, David Stone-type dualities for separation logics. (English) Zbl 1432.03046 Log. Methods Comput. Sci. 15, No. 1, Paper No. 27, 51 p. (2019). MSC: 03B70 03B20 03G25 06D50 68Q85 PDF BibTeX XML Cite \textit{S. Docherty} and \textit{D. Pym}, Log. Methods Comput. Sci. 15, No. 1, Paper No. 27, 51 p. (2019; Zbl 1432.03046) Full Text: arXiv OpenURL
Khalaf, Mohammed M.; Abd El-Latif, A. A. \(L\)-almost separation axioms in \(L\)-fuzzifying-bitopologies via complete residuated lattice-valued logic. (English) Zbl 1436.54006 Int. J. Appl. Comput. Math. 5, No. 1, Paper No. 2, 19 p. (2019). MSC: 54A40 54E55 03G25 PDF BibTeX XML Cite \textit{M. M. Khalaf} and \textit{A. A. Abd El-Latif}, Int. J. Appl. Comput. Math. 5, No. 1, Paper No. 2, 19 p. (2019; Zbl 1436.54006) Full Text: DOI OpenURL
Mansutti, Alessio Extending propositional separation logic for robustness properties. (English) Zbl 07561347 Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 42, 23 p. (2018). MSC: 68N30 68Qxx PDF BibTeX XML Cite \textit{A. Mansutti}, LIPIcs -- Leibniz Int. Proc. Inform. 122, Article 42, 23 p. (2018; Zbl 07561347) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{S. Demri}, LIPIcs -- Leibniz Int. Proc. Inform. 120, Article 1, 4 p. (2018; Zbl 1487.68080) Full Text: DOI OpenURL
Simpson, Alex Category-theoretic structure for independence and conditional independence. (English) Zbl 07513467 Silva, Alexandra (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 336, 281-297 (2018). MSC: 68N30 68Q55 PDF BibTeX XML Cite \textit{A. Simpson}, Electron. Notes Theor. Comput. Sci. 336, 281--297 (2018; Zbl 07513467) Full Text: DOI OpenURL
Melliès, Paul-André; Stefanesco, Léo A game semantics of concurrent separation logic. (English) Zbl 07513465 Silva, Alexandra (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 336, 241-256 (2018). MSC: 68N30 68Q55 PDF BibTeX XML Cite \textit{P.-A. Melliès} and \textit{L. Stefanesco}, Electron. Notes Theor. Comput. Sci. 336, 241--256 (2018; Zbl 07513465) Full Text: DOI arXiv OpenURL
Docherty, Simon; Pym, David A stone-type duality theorem for separation logic via its underlying bunched logics. (English) Zbl 07513457 Silva, Alexandra (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 336, 101-118 (2018). MSC: 68N30 68Q55 PDF BibTeX XML Cite \textit{S. Docherty} and \textit{D. Pym}, Electron. Notes Theor. Comput. Sci. 336, 101--118 (2018; Zbl 07513457) Full Text: DOI OpenURL
Bizjak, Aleš; Birkedal, Lars On models of higher-order separation logic. (English) Zbl 07513455 Silva, Alexandra (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 336, 57-78 (2018). MSC: 68N30 68Q55 PDF BibTeX XML Cite \textit{A. Bizjak} and \textit{L. Birkedal}, Electron. Notes Theor. Comput. Sci. 336, 57--78 (2018; Zbl 07513455) Full Text: DOI OpenURL
Melliès, Paul-André; Stefanesco, Léo An asynchronous soundness theorem for concurrent separation logic. (English) Zbl 1497.68349 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 699-708 (2018). MSC: 68Q85 03B70 68Q55 PDF BibTeX XML Cite \textit{P.-A. Melliès} and \textit{L. Stefanesco}, in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 699--708 (2018; Zbl 1497.68349) Full Text: DOI arXiv OpenURL
Leventis, Thomas Probabilistic Böhm trees and probabilistic separation. (English) Zbl 1453.03009 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 649-658 (2018). MSC: 03B40 PDF BibTeX XML Cite \textit{T. Leventis}, in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 649--658 (2018; Zbl 1453.03009) Full Text: DOI OpenURL
Frumin, Dan; Krebbers, Robbert; Birkedal, Lars ReLoC: a mechanised relational logic for fine-grained concurrency. (English) Zbl 1497.68337 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 442-451 (2018). MSC: 68Q85 03B35 03B70 68V20 PDF BibTeX XML Cite \textit{D. Frumin} et al., in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 442--451 (2018; Zbl 1497.68337) Full Text: DOI OpenURL
Demri, Stéphane; Lozes, Etienne; Lugiez, Denis On symbolic heaps modulo permission theories. (English) Zbl 1491.68050 Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 93, Article 25, 14 p. (2018). MSC: 68N30 03B70 68P05 68Q17 68Q25 PDF BibTeX XML Cite \textit{S. Demri} et al., LIPIcs -- Leibniz Int. Proc. Inform. 93, Article 25, 14 p. (2018; Zbl 1491.68050) Full Text: DOI OpenURL
Xu, Yang; Liu, Jun; Chen, Shuwei; Zhong, Xiaomei; He, Xingxing Contradiction separation based dynamic multi-clause synergized automated deduction. (English) Zbl 1440.03040 Inf. Sci. 462, 93-113 (2018). MSC: 03B35 68V15 PDF BibTeX XML Cite \textit{Y. Xu} et al., Inf. Sci. 462, 93--113 (2018; Zbl 1440.03040) Full Text: DOI Link OpenURL
Demri, Stéphane; Fervari, Raul On the complexity of modal separation logics. (English) Zbl 1418.03077 Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 179-198 (2018). MSC: 03B45 03B25 68Q17 68Q60 PDF BibTeX XML Cite \textit{S. Demri} and \textit{R. Fervari}, in: Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27--31, 2018. London: College Publications. 179--198 (2018; Zbl 1418.03077) OpenURL
Liu, Chunhui Uniform topological spaces based on fuzzy filters in FI-algebras. (Chinese. English summary) Zbl 1424.03084 J. Zhejiang Univ., Sci. Ed. 45, No. 5, 521-528 (2018). MSC: 03G25 54D10 54E15 PDF BibTeX XML Cite \textit{C. Liu}, J. Zhejiang Univ., Sci. Ed. 45, No. 5, 521--528 (2018; Zbl 1424.03084) Full Text: DOI OpenURL
Courtault, Jean-René; Galmiche, Didier A modal separation logic for resource dynamics. (English) Zbl 1444.03049 J. Log. Comput. 28, No. 4, 733-778 (2018). MSC: 03B45 03B70 PDF BibTeX XML Cite \textit{J.-R. Courtault} and \textit{D. Galmiche}, J. Log. Comput. 28, No. 4, 733--778 (2018; Zbl 1444.03049) Full Text: DOI OpenURL
Gruszczyński, Rafał; Pietruszczak, Andrzej A study in Grzegorczyk point-free topology. I: Separation and Grzegorczyk structures. (English) Zbl 1437.03049 Stud. Log. 106, No. 6, 1197-1238 (2018). MSC: 03B30 54D15 03A05 PDF BibTeX XML Cite \textit{R. Gruszczyński} and \textit{A. Pietruszczak}, Stud. Log. 106, No. 6, 1197--1238 (2018; Zbl 1437.03049) Full Text: DOI Backlinks: MO OpenURL
Place, Thomas Separating regular languages with two quantifier alternations. (English) Zbl 06987097 Log. Methods Comput. Sci. 14, No. 4, Paper No. 16, 58 p. (2018). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{T. Place}, Log. Methods Comput. Sci. 14, No. 4, Paper No. 16, 58 p. (2018; Zbl 06987097) Full Text: DOI arXiv OpenURL
Femina, R.; Rajesh, N. Pairwise separation axioms via fuzzifying \(\beta\)-open sets. (English) Zbl 1402.54010 J. Fuzzy Math. 26, No. 3, 681-694 (2018). MSC: 54A40 54E55 54D15 PDF BibTeX XML Cite \textit{R. Femina} and \textit{N. Rajesh}, J. Fuzzy Math. 26, No. 3, 681--694 (2018; Zbl 1402.54010) OpenURL
Bao, Yuyan; Leavens, Gary T.; Ernst, Gidon Unifying separation logic and region logic to allow interoperability. (English) Zbl 1398.68091 Formal Asp. Comput. 30, No. 3-4, 381-441 (2018). MSC: 68N30 03B70 68P05 PDF BibTeX XML Cite \textit{Y. Bao} et al., Formal Asp. Comput. 30, No. 3--4, 381--441 (2018; Zbl 1398.68091) Full Text: DOI OpenURL
Zhan, Bohua; Haslbeck, Maximilian P. L. Verifying asymptotic time complexity of imperative programs in Isabelle. (English) Zbl 06958121 Galmiche, Didier (ed.) et al., Automated reasoning. 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10900, 532-548 (2018). MSC: 68V15 68N30 68Q60 PDF BibTeX XML Cite \textit{B. Zhan} and \textit{M. P. L. Haslbeck}, Lect. Notes Comput. Sci. 10900, 532--548 (2018; Zbl 06958121) Full Text: DOI arXiv OpenURL
Cao, Qinxiang; Beringer, Lennart; Gruetter, Samuel; Dodds, Josiah; Appel, Andrew W. VST-Floyd: a separation logic tool to verify correctness of C programs. (English) Zbl 1451.68169 J. Autom. Reasoning 61, No. 1-4, 367-422 (2018). MSC: 68Q60 03B70 68V15 PDF BibTeX XML Cite \textit{Q. Cao} et al., J. Autom. Reasoning 61, No. 1--4, 367--422 (2018; Zbl 1451.68169) Full Text: DOI Link OpenURL
Place, Thomas; Zeitoun, Marc The covering problem. (English) Zbl 1448.03026 Log. Methods Comput. Sci. 14, No. 3, Paper No. 1, 54 p. (2018). MSC: 03D05 PDF BibTeX XML Cite \textit{T. Place} and \textit{M. Zeitoun}, Log. Methods Comput. Sci. 14, No. 3, Paper No. 1, 54 p. (2018; Zbl 1448.03026) Full Text: DOI arXiv OpenURL
Hóu, Zhé; Clouston, Ranald; Goré, Rajeev; Tiu, Alwen Modular labelled sequent calculi for abstract separation logics. (English) Zbl 1407.03046 ACM Trans. Comput. Log. 19, No. 2, Article No. 13, 35 p. (2018). MSC: 03B70 03F03 PDF BibTeX XML Cite \textit{Z. Hóu} et al., ACM Trans. Comput. Log. 19, No. 2, Article No. 13, 35 p. (2018; Zbl 1407.03046) Full Text: DOI arXiv Link OpenURL
Docherty, Simon; Pym, David Modular tableaux calculi for separation theories. (English) Zbl 1506.03073 Baier, Christel (ed.) et al., Foundations of software science and computation structures. 21st international conference, FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10803, 441-458 (2018). MSC: 03B47 03B70 PDF BibTeX XML Cite \textit{S. Docherty} and \textit{D. Pym}, Lect. Notes Comput. Sci. 10803, 441--458 (2018; Zbl 1506.03073) Full Text: DOI OpenURL
Brauer, Ethan Second-order logic and the power set. (English) Zbl 1436.03024 J. Philos. Log. 47, No. 1, 123-142 (2018). MSC: 03A05 03B16 03E30 PDF BibTeX XML Cite \textit{E. Brauer}, J. Philos. Log. 47, No. 1, 123--142 (2018; Zbl 1436.03024) Full Text: DOI OpenURL
Paviotti, Marco; Bengtson, Jesper Formally verifying exceptions for low-level code with separation logic. (English) Zbl 1382.68053 J. Log. Algebr. Methods Program. 94, 1-14 (2018). MSC: 68N30 03B70 68Q60 68T15 PDF BibTeX XML Cite \textit{M. Paviotti} and \textit{J. Bengtson}, J. Log. Algebr. Methods Program. 94, 1--14 (2018; Zbl 1382.68053) Full Text: DOI Link OpenURL
Cao, Qinxiang; Cuellar, Santiago; Appel, Andrew W. Bringing order to the separation logic jungle. (English) Zbl 1503.03034 Chang, Bor-Yuh Evan (ed.), Programming languages and systems. 15th Asian symposium, APLAS 2017, Suzhou, China, November 27–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10695, 190-211 (2017). MSC: 03B70 03G25 PDF BibTeX XML Cite \textit{Q. Cao} et al., Lect. Notes Comput. Sci. 10695, 190--211 (2017; Zbl 1503.03034) Full Text: DOI OpenURL
Quang Loc Le; Tatsuta, Makoto; Sun, Jun; Chin, Wei-Ngan A decidable fragment in separation logic with inductive predicates and arithmetic. (English) Zbl 1497.03048 Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10427, 495-517 (2017). MSC: 03B70 03B25 68N30 PDF BibTeX XML Cite \textit{Quang Loc Le} et al., Lect. Notes Comput. Sci. 10427, 495--517 (2017; Zbl 1497.03048) Full Text: DOI Link OpenURL
Chen, Taolue; Song, Fu; Wu, Zhilin Tractability of separation logic with inductive definitions: beyond lists. (English) Zbl 1442.03013 Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 37, 17 p. (2017). MSC: 03B70 68P05 68Q25 PDF BibTeX XML Cite \textit{T. Chen} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 37, 17 p. (2017; Zbl 1442.03013) Full Text: DOI OpenURL
Boudou, Joseph Decidable logics with associative binary modalities. (English) Zbl 1434.03069 Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 15, 15 p. (2017). MSC: 03B45 03B25 03B70 PDF BibTeX XML Cite \textit{J. Boudou}, LIPIcs -- Leibniz Int. Proc. Inform. 82, Article 15, 15 p. (2017; Zbl 1434.03069) Full Text: DOI OpenURL
Ciabattoni, Agta; Ramanayake, Revantha Bunched hypersequent calculi for distributive substructural logics. (English) Zbl 1402.03029 Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 417-434 (2017). MSC: 03B47 03F52 PDF BibTeX XML Cite \textit{A. Ciabattoni} and \textit{R. Ramanayake}, EPiC Ser. Comput. 46, 417--434 (2017; Zbl 1402.03029) Full Text: DOI OpenURL
Qin, Shengchao; Xu, Zhiwu; Ming, Zhong Survey of research on program verification via separation logic. (Chinese. English summary) Zbl 1399.68031 J. Softw. 28, No. 8, 2010-2025 (2017). MSC: 68N30 03B70 68Q60 68-02 PDF BibTeX XML Cite \textit{S. Qin} et al., J. Softw. 28, No. 8, 2010--2025 (2017; Zbl 1399.68031) Full Text: DOI OpenURL
He, Pengfei; Zhao, Bin; Xin, Xiaolong States and internal states on semihoops. (English) Zbl 1404.03052 Soft Comput. 21, No. 11, 2941-2957 (2017). MSC: 03G25 06D35 54D10 54D30 PDF BibTeX XML Cite \textit{P. He} et al., Soft Comput. 21, No. 11, 2941--2957 (2017; Zbl 1404.03052) Full Text: DOI OpenURL
Enea, Constantin; Lengál, Ondřej; Sighireanu, Mihaela; Vojnar, Tomáš Compositional entailment checking for a fragment of separation logic. (English) Zbl 1377.68073 Form. Methods Syst. Des. 51, No. 3, 575-607 (2017). MSC: 68N30 03B70 68P05 68Q45 PDF BibTeX XML Cite \textit{C. Enea} et al., Form. Methods Syst. Des. 51, No. 3, 575--607 (2017; Zbl 1377.68073) Full Text: DOI HAL OpenURL
Krogh-Jespersen, Morten; Svendsen, Kasper; Birkedal, Lars A relational model of types-and-effects in higher-order concurrent separation logic. (English) Zbl 1380.68126 Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 218-231 (2017). MSC: 68N30 03B70 68Q60 68Q85 PDF BibTeX XML Cite \textit{M. Krogh-Jespersen} et al., in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 218--231 (2017; Zbl 1380.68126) Full Text: DOI OpenURL
Krebbers, Robbert; Timany, Amin; Birkedal, Lars Interactive proofs in higher-order concurrent separation logic. (English) Zbl 1380.68341 Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 205-217 (2017). MSC: 68T15 03B70 68N30 68Q60 68Q85 PDF BibTeX XML Cite \textit{R. Krebbers} et al., in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 205--217 (2017; Zbl 1380.68341) Full Text: DOI Link OpenURL
Li, Huisong; Berenger, Francois; Chang, Bor-Yuh Evan; Rival, Xavier Semantic-directed clumping of disjunctive abstract states. (English) Zbl 1380.68129 Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 32-45 (2017). MSC: 68N30 03B70 PDF BibTeX XML Cite \textit{H. Li} et al., in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 32--45 (2017; Zbl 1380.68129) Full Text: DOI Link OpenURL
Demri, Stéphane; Galmiche, Didier; Larchey-Wendling, Dominique; Méry, Daniel Separation logic with one quantified variable. (English) Zbl 1435.68117 Theory Comput. Syst. 61, No. 2, 371-461 (2017). MSC: 68Q25 03B70 68Q17 68Q60 PDF BibTeX XML Cite \textit{S. Demri} et al., Theory Comput. Syst. 61, No. 2, 371--461 (2017; Zbl 1435.68117) Full Text: DOI HAL OpenURL
Dahlqvist, Fredrik; Pym, David Coalgebraic completeness-via-canonicity for distributive substructural logics. (English) Zbl 1453.03020 J. Log. Algebr. Methods Program. 93, 1-22 (2017). MSC: 03B47 03G30 PDF BibTeX XML Cite \textit{F. Dahlqvist} and \textit{D. Pym}, J. Log. Algebr. Methods Program. 93, 1--22 (2017; Zbl 1453.03020) Full Text: DOI arXiv OpenURL