Analysis of Imperative Programs through Analysis of Constraint Logic Programs

Julio C Peralta, John P Gallagher, Huseyin Saglam

Research output: Working paper

Translated title of the contribution	Analysis of Imperative Programs through Analysis of Constraint Logic Programs
Original language	English
Publisher	University of Bristol
Number of pages	15
Publication status	Published - 1998

Other: CSTR-98-007

Access to Document

@techreport{c1259afe06ed426499683440eb3df950,

title = "Analysis of Imperative Programs through Analysis of Constraint Logic Programs",

author = "Peralta, {Julio C} and Gallagher, {John P} and Huseyin Saglam",

note = "Other: CSTR-98-007",

year = "1998",

language = "English",

publisher = "University of Bristol",

address = "United Kingdom",

type = "WorkingPaper",

institution = "University of Bristol",

}