Title: Abstract interpretation of declarative languages
Subjects: Compiling (Electronic computers), Semantics, Programming languages (Electronic computers)