177
click to vote
APLAS
2006
ACM
16 years 11 days ago
2006
ACM
String expression analysis conservatively approximates the possible string values generated by a program. We consider the validation of a context-free grammar obtained by the analy...