Lightweight semiformal time complexity analysis for purely functional data structures.

Nils Anders Danielsson

Published in: POPL (2008)

Keyphrases

lightweight
complexity analysis
data structure
theoretical analysis
computational complexity
lower bound
first order logic
data types
communication infrastructure
mobile devices
efficient data structures
high dimensional
wireless sensor networks