Search structures support the fundamental data storage primitives on key-value pairs: insert a pair, delete by key, search by key, and update the value associat

Search structures support the fundamental data storage primitives on key-value pairs: insert a pair, delete by key, search by key, and update the value associat

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verificatio

This book is the first to present the state of the art and provide technical focus on the latest advances in the foundations of blockchain systems. It is a coll

This open access book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 20