A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Bi-Abductive Inference for Shape and Ordering Properties
2019
2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS)
In separation logic, bi-abduction -a combination of abductive inference and frame inference -is the key enabler for compositional reasoning, helping to scale up verification significantly. Indeed, the success of bi-abduction led to the development of Infer, the tool used daily to verify Facebook's codebase of millions of lines of code. However, this success currently stays largely within the shape domain. To extend this impact towards the combination of shape and arithmetic domains, in this
doi:10.1109/iceccs.2019.00031
dblp:conf/iceccs/CurryLQ19
fatcat:36rpqduwfvfnhgwuyxtsjszx3u