Schema-guided synthesis of CLP programs

Hamza Zidoum; Pierre Flener; Brahim Hnich

Schema-guided synthesis of CLP programs

Hamza Zidoum, Pierre Flener, Brahim Hnich

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Logic-Based Program Synthesis and Transformation - 8th International Workshop, LOPSTR 1998, Selected Papers
Editors	Pierre Flener
Publisher	Springer Verlag
Pages	309-312
Number of pages	4
ISBN (Print)	3540657657, 9783540657651
Publication status	Published - 1998
Externally published	Yes
Event	8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 1998 - Manchester, United Kingdom Duration: Jun 15 1998 → Jun 19 1998

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1559
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 1998
Country/Territory	United Kingdom
City	Manchester
Period	6/15/98 → 6/19/98

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Cite this

Zidoum, H., Flener, P., & Hnich, B. (1998). Schema-guided synthesis of CLP programs. In P. Flener (Ed.), Logic-Based Program Synthesis and Transformation - 8th International Workshop, LOPSTR 1998, Selected Papers (pp. 309-312). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1559). Springer Verlag.

Schema-guided synthesis of CLP programs. / Zidoum, Hamza; Flener, Pierre; Hnich, Brahim.
Logic-Based Program Synthesis and Transformation - 8th International Workshop, LOPSTR 1998, Selected Papers. ed. / Pierre Flener. Springer Verlag, 1998. p. 309-312 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1559).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Zidoum, H, Flener, P & Hnich, B 1998, Schema-guided synthesis of CLP programs. in P Flener (ed.), Logic-Based Program Synthesis and Transformation - 8th International Workshop, LOPSTR 1998, Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1559, Springer Verlag, pp. 309-312, 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 1998, Manchester, United Kingdom, 6/15/98.

Zidoum H, Flener P, Hnich B. Schema-guided synthesis of CLP programs. In Flener P, editor, Logic-Based Program Synthesis and Transformation - 8th International Workshop, LOPSTR 1998, Selected Papers. Springer Verlag. 1998. p. 309-312. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Zidoum, Hamza ; Flener, Pierre ; Hnich, Brahim. / Schema-guided synthesis of CLP programs. Logic-Based Program Synthesis and Transformation - 8th International Workshop, LOPSTR 1998, Selected Papers. editor / Pierre Flener. Springer Verlag, 1998. pp. 309-312 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{ba3eec9464ca49b59e008b5125faaeb9,

title = "Schema-guided synthesis of CLP programs",

author = "Hamza Zidoum and Pierre Flener and Brahim Hnich",

year = "1998",

language = "English",

isbn = "3540657657",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "309--312",

editor = "Pierre Flener",

booktitle = "Logic-Based Program Synthesis and Transformation - 8th International Workshop, LOPSTR 1998, Selected Papers",

note = "8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 1998 ; Conference date: 15-06-1998 Through 19-06-1998",

}

TY - GEN

T1 - Schema-guided synthesis of CLP programs

AU - Zidoum, Hamza

AU - Flener, Pierre

AU - Hnich, Brahim

PY - 1998

Y1 - 1998

UR - http://www.scopus.com/inward/record.url?scp=84947932462&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84947932462&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:84947932462

SN - 3540657657

SN - 9783540657651

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 309

EP - 312

BT - Logic-Based Program Synthesis and Transformation - 8th International Workshop, LOPSTR 1998, Selected Papers

A2 - Flener, Pierre

PB - Springer Verlag

T2 - 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 1998

Y2 - 15 June 1998 through 19 June 1998

ER -

Schema-guided synthesis of CLP programs

Publication series

Other

ASJC Scopus subject areas

Other files and links

Cite this