166
click to vote
APLAS
2006
ACM
16 years 8 days ago
2006
ACM
The static determination of approximated values of string expressions has many potential applications. For instance, approximated string values may be used to check the validity an...