Certification of breadth-first algorithms by extraction

DOI10.1007/978-3-030-33636-3_3zbMath1434.68090OpenAlexW2980365261MaRDI QIDQ2176671

Ralph Matthes, Dominique Larchey-Wendling

Publication date: 5 May 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-33636-3_3

zbMATH Keywords

Coqcorrectness by extractionbreadth-first algorithmsqueues in functional programming

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Data structures (68P05)

Related Items (1)

Unnamed Item

Uses Software

• Coq

This page was built for publication: Certification of breadth-first algorithms by extraction