Introduction to Abstract Interpretation
S. Abramsky and C. Hankin
Book Title
Abstract Interpretation for Declarative Languages
Chapter
1
Editor
S.Abramsky and C. Hankin
Pages
9−31
Publisher
Ellis Horwood
Year
1987
S. Abramsky and C. Hankin