Practical Model-Based Static Analysis for Definite Logic Programs

John Gallagher, Dmitri Boulanger, Huseyin Saglam

Research output: Working paperWorking paper and Preprints

Translated title of the contributionPractical Model-Based Static Analysis for Definite Logic Programs
Original languageEnglish
PublisherUniversity of Bristol
Number of pages25
Publication statusPublished - 1995

Bibliographical note

Other: CSTR-95-011

Cite this