Translated title of the contribution | Static Analysis of Logic Programs Using CLP as a Meta-language |
---|---|
Original language | English |
Publisher | Department of Computer Science, University of Bristol |
Number of pages | 16 |
Publication status | Published - 1996 |
Static Analysis of Logic Programs Using CLP as a Meta-language
Huseyin Saglam, John Gallagher
Research output: Working paper