Compositional backward shape analysis by means of bi-abduction
- 26 September 2026
- journal article
- Published by Elsevier in Journal of Logical and Algebraic Methods in Programming
- Vol. 152
Abstract
No abstract availableFunding Information
- Ministero dell'Università e della Ricerca (P2022HXNSC)
- European Commission
This publication has 21 references indexed in Scilit:
- Fifty years of Hoare’s logicFormal Aspects of Computing, 2019
- Iris from the ground up: A modular foundation for higher-order concurrent separation logicJournal of Functional Programming, 2018
- Concurrent separation logicACM SIGLOG News, 2016
- Compositional Shape Analysis by Means of Bi-AbductionJournal of the ACM, 2011
- Hoare Logic and Auxiliary VariablesFormal Aspects of Computing, 1999
- An interesting LISP functionACM Lisp Bulletin, 1979
- Propositional dynamic logic of regular programsJournal of Computer and System Sciences, 1979
- Axiomatic approach to total correctness of programsActa Informatica, 1974
- Assigning meanings to programs1967
- Classes of recursively enumerable sets and their decision problemsTransactions of the American Mathematical Society, 1953