| |
| 1998 | ||
|---|---|---|
| 4 | EE | Julio C. Peralta, John P. Gallagher, Hüseyin Saglam: Analysis of Imperative Programs through Analysis of Constraint Logic Programs. SAS 1998: 246-261 |
| 1997 | ||
| 3 | EE | Hüseyin Saglam, John P. Gallagher: Constrained Regular Approximation of Logic Programs. LOPSTR 1997: 282-299 |
| 1995 | ||
| 2 | John P. Gallagher, Dmitri Boulanger, Hüseyin Saglam: Practical Model-Based Static Analysis for Definite Logic Programs. ILPS 1995: 351-365 | |
| 1 | Hüseyin Saglam, John P. Gallagher: Approximating Constraint Logic Programs Using Polymorphic Types and Regular Descriptions PLILP 1995: 461-462 | |
| 1 | Dmitri Boulanger | [2] |
| 2 | John P. Gallagher | [1] [2] [3] [4] |
| 3 | Julio C. Peralta | [4] |