EFFICIENT BOTTOM-UP EXECUTION OF LOGIC PROGRAMS USING ABSTRACT INTERPRETATION
- Publisher
- ELSEVIER SCIENCE BV
- Issue Date
- 1993-09
- Language
- English
- Article Type
- Article
- Citation
INFORMATION PROCESSING LETTERS, v.47, no.3, pp.149 - 157
- ISSN
- 0020-0190
- Appears in Collection
- CS-Journal Papers(저널논문)
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.