Abstract interpretation of declarative languages | lit.salon