> >Constant access time and analysis via 0CFA/SBA. -- Matthias > > > Constant access time is satisfied by a hash table implementation. > Compile-time analysis is easily handled by constant propagation > through the hash function. > > Bear Would you mind showing us the equations that govern the analysis of such property-lists-as-hashtables? I am also interested for very different reasons. -- Matthias