Hash Consed Points-To Sets
No abstract available.
Related papers
- Formally verified superblock scheduling CPP 2022
- Object equality profiling OOPSLA 2003
- Compiling language definitions: the ASF+SDF compiler TOPLAS 2002
- Hashing modulo alpha-equivalence PLDI 2021
- Efficient alias set analysis using SSA form ISMM 2009
- Compact data structure and scalable algorithms for the sparse grid technique PPoPP 2011
- Code specialization for memory efficient hash tries (short paper) GPCE 2014
- Type Matching, Type-Graphs, and the Schanuel Conjecture TOPLAS 1992