Semi-persistent Data Structures

DOI10.1007/978-3-540-78739-6_25zbMath1133.68325OpenAlexW2130816688WikidataQ59411584 ScholiaQ59411584MaRDI QIDQ5458407

Jean-Christophe Filliâtre, Sylvain Conchon

Publication date: 11 April 2008

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78739-6_25

Mathematics Subject Classification ID

Data structures (68P05)

Related Items

Machine-Checked Verification of the Correctness and Amortized Complexity of an Efficient Union-Find Implementation, A formal model for a linear time correctness condition of proof nets of multiplicative linear logic

Uses Software

• KRAKATOA
• Why3
• Spec#
• Alt-Ergo