Text this: Abstract interpretation of declarative languages /