Blog search: #KLEE


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 ...