Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits

From MaRDI portal
Publication:670699

DOI10.1007/s10817-017-9431-7zbMath1468.68120OpenAlexW2757243080MaRDI QIDQ670699

François Pottier, Arthur Charguéraud

Publication date: 20 March 2019

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01652785/file/credits_jar.pdf




Related Items (10)


Uses Software


Cites Work


This page was built for publication: Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits