Schema-guided synthesis of CLP programs

Hamza Zidoum; Pierre Flener; Brahim Hnich

Schema-guided synthesis of CLP programs

Hamza Zidoum, Pierre Flener, Brahim Hnich

Computer Science

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
Publisher	Springer Verlag
Pages	309-312
Number of pages	4
Volume	1559
ISBN (Print)	3540657657, 9783540657651
Publication status	Published - 1998
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

Computer Science(all)
Theoretical Computer Science

Cite this

Zidoum, H., Flener, P., & Hnich, B. (1998). Schema-guided synthesis of CLP programs. In Logic-Based Program Synthesis and Transformation - 8th International Workshop, LOPSTR 1998, Selected Papers (Vol. 1559, 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. Vol. 1559 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 Logic-Based Program Synthesis and Transformation - 8th International Workshop, LOPSTR 1998, Selected Papers. vol. 1559, 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, Hamza ; Flener, Pierre ; Hnich, Brahim. / Schema-guided synthesis of CLP programs. Logic-Based Program Synthesis and Transformation - 8th International Workshop, LOPSTR 1998, Selected Papers. Vol. 1559 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",

volume = "1559",

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

publisher = "Springer Verlag",

pages = "309--312",

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

VL - 1559

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

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