Cited in
(6)- A Scalable Inclusion Constraint Solver Using Unification
- Program Analysis Using Weighted Pushdown Systems
- Stardust
- Set constraints, pattern match analysis, and SMT
- The Complexity of Andersen’s Analysis in Practice
- Contextual effects for version-consistent dynamic software updating and safe concurrent programming
This page was built for software: Banshee
