HOBBIT: Hashed OBject Based InTegrity
No abstract available.
Related papers
- Hobbits for Haskell: a library for higher-order encodings in functional programming languages Haskell 2011
- JEqualityGen: generating equality and hashing methods GPCE 2010
- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques TACAS 2022
- To-many or to-one? all-in-one! efficient purely functional multi-maps with type-heterogeneous hash-tries PLDI 2018
- Abstraction preservation and subtyping in distributed languages ICFP 2006
- Perfect hashing as an almost perfect subtype test TOPLAS 2008
- Code specialization for memory efficient hash tries (short paper) GPCE 2014
- Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling CAV 2020