Algebraic framework for the abstract interpretation of logic program/
| Main Author: | |
|---|---|
| Corporate Authors: | , |
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
London:
University of London,
1991
|
| Series: | Technical report / University of London. Queen Mary and Westfield College. Department of Computer Science ;
540 |
| Subjects: |
| Physical Description: | 34 p. ; 30 cm. |
|---|---|
| Bibliography: | Includes bibliographical references |