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

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Fingerprint Dive into the research topics of 'Schema-guided synthesis of CLP programs'. Together they form a unique fingerprint.

  • 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.