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

Huseyin Saglam, John Gallagher

    Research output: Working paper

    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