Hüseyin Saglam

According to our database, Hüseyin Saglam authored at least 5 papers between 1995 and 1998.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1998

A toolkit for static analysis of constraint logic programs.

Hüseyin Saglam

PhD thesis, 1998

Analysis of Imperative Programs through Analysis of Constraint Logic Programs.

Julio C. Peralta, John P. Gallagher, Hüseyin Saglam

Proceedings of the Static Analysis, 5th International Symposium, 1998

1997

Constrained Regular Approximation of Logic Programs.

Hüseyin Saglam, John P. Gallagher

Proceedings of the Logic Programming Synthesis and Transformation, 1997

1995

Practical Model-Based Static Analysis for Definite Logic Programs.

John P. Gallagher, Dmitri Boulanger, Hüseyin Saglam

Proceedings of the Logic Programming, 1995

Approximating Constraint Logic Programs Using Polymorphic Types and Regular Descriptions

Hüseyin Saglam, John P. Gallagher

Proceedings of the Programming Languages: Implementations, 1995