Blog
search: #KLEE
Categories
Tags
Christmas is gone, but I'd like to keep a symbolic tree
Posted on Jan. 29, 2019
Recently as part of a small project I have been wondering what is the most efficient data structure for implementing associative arrays when symbolic keys are involved.
An associative array is a data type consisting in a collection of key-value pairs such that each key in unique. Normally this data ...