search

karelklic / canal

Abstract interpreter for real-world application programs
https://github.com/karelklic/canal/wiki
Other
32 stars 3 forks source link

Implement string abstract domain based on prefix tree #139

Open karelklic opened 11 years ago

karelklic commented 11 years ago

Prefix tree can be a good abstraction when the number of children nodes and tree depth are limited.

http://en.wikipedia.org/wiki/Compact_prefix_tree

http://en.wikipedia.org/wiki/Trie