Hüseyin Saglam Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys1998
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulio C. Peralta, John P. Gallagher, Hüseyin Saglam: Analysis of Imperative Programs through Analysis of Constraint Logic Programs. SAS 1998: 246-261
1997
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHüseyin Saglam, John P. Gallagher: Constrained Regular Approximation of Logic Programs. LOPSTR 1997: 282-299
1995
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn P. Gallagher, Dmitri Boulanger, Hüseyin Saglam: Practical Model-Based Static Analysis for Definite Logic Programs. ILPS 1995: 351-365
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHüseyin Saglam, John P. Gallagher: Approximating Constraint Logic Programs Using Polymorphic Types and Regular Descriptions PLILP 1995: 461-462

Coauthor Index

1Dmitri Boulanger [2]
2John P. Gallagher [1] [2] [3] [4]
3Julio C. Peralta [4]

Copyright © Wed Dec 16 17:29:03 2009 by Michael Ley (ley@uni-trier.de)