Purely Functional, Simple, and Efficient Implementation of Prim and Dijkstra.

Peter Lammich Tobias Nipkow

Published in: Arch. Formal Proofs (2019)

Keyphrases

efficient implementation
efficient processing
hardware implementation
real time
data sets
highly parallel
active set