Abstract interpretation of declaration of declarative languages - Abramsky Samson Ed.; Hankin Chris Ed. (Chichester Ellis Horwood, 1987)
Keywords: Computer program language; Computer science