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