Return to Article Details Precise Analysis of String Expressions Download Download PDF