Schema-guided synthesis of CLP programs

Hamza Zidoum, Pierre Flener, Brahim Hnich

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationLogic-Based Program Synthesis and Transformation - 8th International Workshop, LOPSTR 1998, Selected Papers
PublisherSpringer Verlag
Pages309-312
Number of pages4
Volume1559
ISBN (Print)3540657657, 9783540657651
Publication statusPublished - 1998
Event8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 1998 - Manchester, United Kingdom
Duration: Jun 15 1998Jun 19 1998

Publication series

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

Other

Other8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 1998
CountryUnited Kingdom
CityManchester
Period6/15/986/19/98

Fingerprint

Schema
Synthesis

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 proceedingConference 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 H, Flener P, Hnich B. Schema-guided synthesis of CLP programs. In 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)).
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",

}

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

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

ER -