Logic program synthesis as problem reduction using combining forms

DOI10.1023/A:1008741507024zbMath1034.68613MaRDI QIDQ1857307

Nikolaj Oldager, Andreas Hamfelt, Jorgen Fischer Nilsson

Publication date: 17 February 2003

Published in: Automated Software Engineering (Search for Journal in Brave)

zbMATH Keywords

recursion operatorsprogram schematainductive synthesispredicate combinatorssynthesis by composition and specialization

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Computing methodologies and applications (68U99) Logic programming (68N17)

This page was built for publication: Logic program synthesis as problem reduction using combining forms