Freeness analysis for logic programs - and correctness?

M. Codish, D.R. Dams, G. Filé, M. Bruynooghe

    Research output: Book/ReportReportAcademic

    37 Downloads (Pure)
    Original languageEnglish
    Place of PublicationEindhoven
    PublisherTechnische Universiteit Eindhoven
    Number of pages24
    Publication statusPublished - 1993

    Publication series

    NameComputing science notes
    Volume9321

    Cite this