View in EDS PDF Full Text

A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions.

Saved in:
Bibliographic Details
Title: A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions.
Authors: MATHEJA, CHRISTOPH1, chmat@dtu.dk, PAGEL, JENS2, pagel@forsyte.at, ZULEGER, FLORIAN2, zuleger@forsyte.at
Source: ACM Transactions on Computational Logic; Jan2023, Vol. 24 Issue 1, p1-76, 76p
Database: Applied Science & Technology Source
Be the first to leave a comment!
You must be logged in first