Compositional Relational Programming with Name Projection and Compositional Synthesis

Paçacı, Görkem,1986-Uppsala universitet,Institutionen för informatik och media (författare)

CombInduce is a methodology for inductive synthesis of logic programs, which employs a reversible meta-interpreter for synthesis, and uses a compositional relational target language for ecient synthesis of recursive predicates.The target language, Combilog, has reduced usability due to the lack of variables, a feature enforced by the principle of compositionality, which is at the core of the synthesis process. We present a revision of Combilog, namely, Combilog with Name Projection (CNP), which brings improved usability by using argument names, whilst still staying devoid of variables, preserving the compositionality.

NATURVETENSKAP Data- och informationsvetenskap Systemvetenskap, informationssystem och informatik hsv//swe
NATURAL SCIENCES Computer and Information Sciences Information Systems hsv//eng
Logic programming
program synthesis
relational programming
programming languages
compositional programming
meta-programming
meta-interpreter
Information Systems
Informationssystem

McKeever, Steve,1969-Uppsala universitet,Informationssystem(Swepub:uu)stemc181 (författare)
Hamfelt, AndreasUppsala universitet,Informationssystem(Swepub:uu)andhamlt (författare)
Uppsala universitetInstitutionen för informatik och media (creator_code:org_t)

Ingår i:Perspectives of System InformaticsCham : Springer, s. 306-32197833197431279783319743134

Av författaren/redakt...: Paçacı, Görkem, ...; McKeever, Steve, ...; Hamfelt, Andreas

Om ämnet

NATURVETENSKAP: NATURVETENSKAP; och Data och informa ...; och Systemvetenskap ...

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.