BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Saglam:H=uuml=seyin

Contributed to:

SAS 19981998
LOPSTR 19971997
ILPS 19951995
PPDP 19951995

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.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.