Hüseyin Saglam

Publication Activity (10 Years)

Years Active: 1995-1998
Publications (10 Years): 0

University of Bristol, UK (PHD)

Education History

University of Bristol, UK

PHD

Publications

Julio C. Peralta, John P. Gallagher, Hüseyin Saglam
Analysis of Imperative Programs through Analysis of Constraint Logic Programs. SAS (1998)
Hüseyin Saglam, John P. Gallagher
Constrained Regular Approximation of Logic Programs. LOPSTR (1997)
Hüseyin Saglam, John P. Gallagher
Approximating Constraint Logic Programs Using Polymorphic Types and Regular Descriptions PLILP (1995)
John P. Gallagher, Dmitri Boulanger, Hüseyin Saglam
Practical Model-Based Static Analysis for Definite Logic Programs. ILPS (1995)