The effects of adding reachability predicates in quantifier-free separation logic

DOI10.1145/3448269MaRDI QIDQ7395454zbMATH OpenFDO

Authors Stéphane Demri, Etienne Lozes, Alessio Mansutti

Publication date 2021

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3448269

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

This page was built for publication: The effects of adding reachability predicates in quantifier-free separation logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7395454)