Static Analysis of Logic Programs Using CLP as a Meta-language

Huseyin Saglam, John Gallagher

Research output: Working paperWorking paper and Preprints

Translated title of the contributionStatic Analysis of Logic Programs Using CLP as a Meta-language
Original languageEnglish
PublisherDepartment of Computer Science, University of Bristol
Number of pages16
Publication statusPublished - 1996

Bibliographical note

Other: CSTR-96-003

Cite this