Abstract interpretation of declarative languages
By: editors, Samson Abramsky and Chris Hankin.
Contributors: Abramsky, Samson, 1953-; Hankin, Chris.
Series: Ellis Horwood books in computing science, series in computers and their applications; Computers and their applications.
Publisher: E. Horwood; Halsted Press; Ellis Horwood, Ltd.
Published: 1987
Place of publication: Chichester, West Sussex, England; New York
Language: eng
Number of pages: 284
Subjects: Programming languages (Electronic computers) -- Semantics.; Compiling (Electronic computers)
Notes: Bibliography: p. [276]-282.
Includes index.