Interconvertability of Set Constraints and Context-Free Language Reachability (1997)

by David Melski, Thomas W Reps
Venue:In ACM SIGPLAN Symposium of Partial Evaluation and Semantic-Based Program Manipulation (PEPM