Shape analysis as a generalized path problem (1995)

by T W Reps
Venue:In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM ’95