Found 2 Documents (Results 1–2)
Machine-checked verification of the correctness and amortized complexity of an efficient union-find implementation. (English) Zbl 1465.68172
Urban, Christian (ed.) et al., Interactive theorem proving. 6th international conference, ITP 2015, Nanjing, China, August 24–27, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9236, 137-153 (2015).
Filter Results by …
Document Type
- Journal Articles (1)
- Collection Articles (1)
Author
- Charguéraud, Arthur (2)
- Pottier, François (2)
all
top 3
Software
- ACE (2)
- Coq (2)
- OCaml (2)
- Amortized Complexity (1)
- Archive Formal Proofs (1)
- Bedrock (1)
- CFML (1)
- Camelot (1)
- Grail (1)
- Separation Logic (1)
- VACID-0 (1)
- Ynot (1)