Clack, C and Peyton Jones, SL (1987) Finding fixpoints in abstract interpretation. In: Abramsky, S and Hankin, C, (eds.) Abstract Interpretation of Declarative Languages. (246 - 265). Ellis Horwood
Full text not available from this repository.
| Type: | Book chapter |
|---|---|
| Title: | Finding fixpoints in abstract interpretation |
| ISBN: | 0745801099 |
| UCL classification: | UCL > School of BEAMS > Faculty of Engineering Science > Computer Science |
Archive Staff Only: edit this record