Separation logic with linearly compositional inductive predicates and set data constraints

DOI10.1007/978-3-030-10801-4_17zbMath1444.03114arXiv1811.00699OpenAlexW2899424233MaRDI QIDQ2206230

Chong Gao, Taolue Chen, Zhilin Wu

Publication date: 22 October 2020

Full work available at URL: https://arxiv.org/abs/1811.00699

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (1)

Automated reasoning with restricted intensional sets

This page was built for publication: Separation logic with linearly compositional inductive predicates and set data constraints