Trie

Andreas Lochbihler 🌐 and Tobias Nipkow 🌐

March 30, 2015

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.

Abstract

This article formalizes the “trie” data structure invented by Fredkin [CACM 1960]. It also provides a specialization where the entries in the trie are lists.

License

BSD License

Extra 0

Origin: This article was extracted from existing articles by the authors.

Topics

Session Trie

Used by

Cite

× 
@article{Trie-AFP,
  author  = {Andreas Lochbihler and Tobias Nipkow},
  title   = {Trie},
  journal = {Archive of Formal Proofs},
  month   = {March},
  year    = {2015},
  note    = {\url{https://isa-afp.org/entries/Trie.html},
             Formal proof development},
  ISSN    = {2150-914x},
}
Download

Download

× Download latest

Older releases: