Solving Regular Tree Grammar Based Constraints (2000)

by Yanhong A. Liu , Ning Li , Scott D. Stoller
Venue:In Proceedings of the 8th International Static Analysis Symposium
Citations:5 - 4 self