`Travelled to:`

1 × Belgium

1 × Italy

1 × The Netherlands

1 × USA

`Collaborated with:`

J.P.Gallagher J.C.Peralta D.Boulanger

`Talks about:`

program (5) logic (4) analysi (3) constraint (2) approxim (2) regular (2) polymorph (1) constrain (1) descript (1) practic (1)

## Person: Hüseyin Saglam

### DBLP: Saglam:H=uuml=seyin

### Contributed to:

### Wrote 4 papers:

- SAS-1998-PeraltaGS #analysis #constraints #imperative #logic programming #source code
- Analysis of Imperative Programs through Analysis of Constraint Logic Programs (JCP, JPG, HS), pp. 246–261.
- LOPSTR-1997-SaglamG #approximate #logic programming #source code
- Constrained Regular Approximation of Logic Programs (HS, JPG), pp. 282–299.
- ILPS-1995-GallagherBS #logic programming #modelling #source code #static analysis
- Practical Model-Based Static Analysis for Definite Logic Programs (JPG, DB, HS), pp. 351–365.
- PLILP-1995-SaglamG #approximate #constraints #logic programming #polymorphism #source code #using
- Approximating Constraint Logic Programs Using Polymorphic Types and Regular Descriptions (HS, JPG), pp. 461–462.