Abstract interpretation by dynamic partitioning /
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Rueil Malmaison, France :
Digital, Paris Research Laboratory,
[1992]
|
| Series: | Research report (Digital Equipment Corporation. Paris Research Laboratory) ;
no. 18. |
| Subjects: |
| Item Description: | Abstract in English and French. "March 1992." |
|---|---|
| Physical Description: | v, 30 pages : illustrations ; 30 cm. |
| Bibliography: | Includes bibliographical references (pages 29-30). |