TY - GEN
T1 - Schema-guided synthesis of constraint logic programs
AU - Flener, Pierre
AU - Zidoum, Hamza
AU - Hnich, Brahim
N1 - Publisher Copyright:
© 1998 IEEE.
PY - 1998
Y1 - 1998
N2 - By focusing on the families of assignment and permutation problems (such as graph colouring and n-Queens), we show how to adapt D.R. Smith's (1990) KIDS approach for the synthesis of constraint programs (with implicit constraint satisfaction code), rather than applicative Refine programs with explicit constraint propagation and pruning code. Synthesis is guided by a global search schema and can be fully automated with little effort, due to some innovative ideas. CLP (Sets) programs are equivalent in expressiveness to our input specifications. The synthesised CLP (FD) programs would be, after optimising transformations, competitive with carefully hand-crafted ones.
AB - By focusing on the families of assignment and permutation problems (such as graph colouring and n-Queens), we show how to adapt D.R. Smith's (1990) KIDS approach for the synthesis of constraint programs (with implicit constraint satisfaction code), rather than applicative Refine programs with explicit constraint propagation and pruning code. Synthesis is guided by a global search schema and can be fully automated with little effort, due to some innovative ideas. CLP (Sets) programs are equivalent in expressiveness to our input specifications. The synthesised CLP (FD) programs would be, after optimising transformations, competitive with carefully hand-crafted ones.
UR - http://www.scopus.com/inward/record.url?scp=0346789384&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0346789384&partnerID=8YFLogxK
U2 - 10.1109/ASE.1998.732620
DO - 10.1109/ASE.1998.732620
M3 - Conference contribution
AN - SCOPUS:0346789384
T3 - Proceedings - 13th IEEE International Conference on Automated Software Engineering, ASE 1998
SP - 168
EP - 176
BT - Proceedings - 13th IEEE International Conference on Automated Software Engineering, ASE 1998
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 13th IEEE International Conference on Automated Software Engineering, ASE 1998
Y2 - 13 October 1998 through 16 October 1998
ER -