Really sorry I am sending this late.
people.csail.mit.edu/asolar/papers/pldi276-chaudhuri.pdf
http://www.google.com/url?sa=t&rct=j&q=smooth%20interpretation&source=web&cd=1&ved=0CDIQFjAA&url=http%3A%2F%2Fpeople.csail.mit.edu%2Fasolar%2Fpapers%2Fpldi276-chaudhuri.pdf&ei=ZOGzULXTBsm9iwLEuYGIAQ&usg=AFQjCNHT4toyDz8uCN0MJm0mUgyeQmU3mg
--ras
