Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits
Work
Year: 2017
Type: article
Source: Journal of Automated Reasoning
Authors Arthur Charguéraud, François Pottier
Cites: 73
Cited by: 48
Related to: 10
FWCI: 3.213
Citation percentile (by year/subfield): 94.36
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
Grant ID ANR-15-CE25-0008