Practical Model-Based Static Analysis for Definite Logic Programs

John Gallagher, Dmitri Boulanger, Huseyin Saglam

Research output: Working paper

Translated title of the contribution	Practical Model-Based Static Analysis for Definite Logic Programs
Original language	English
Publisher	University of Bristol
Number of pages	25
Publication status	Published - 1995

Other: CSTR-95-011

Access to Document

@techreport{f1d0a966f44e43ec8f7caec07dd6f230,

title = "Practical Model-Based Static Analysis for Definite Logic Programs",

author = "John Gallagher and Dmitri Boulanger and Huseyin Saglam",

note = "Other: CSTR-95-011",

year = "1995",

language = "English",

publisher = "University of Bristol",

address = "United Kingdom",

type = "WorkingPaper",

institution = "University of Bristol",

}