Deriving sorting algorithms via abductive logic program transformation
Programming Languages
2018-10-05 v1
Abstract
Logic program transformation by the unfold/fold method ad- vocates the writing of correct logic programs via the application of some rules to a naive program. This work focuses on how to overcome subgoal- introduction difficulties in synthesizing efficient sorting algorithms from an naive sorting algorithm, through logic program transformation and abductive reasoning.
Cite
@article{arxiv.1810.02254,
title = {Deriving sorting algorithms via abductive logic program transformation},
author = {Manuel Hernández},
journal= {arXiv preprint arXiv:1810.02254},
year = {2018}
}
Comments
19 pages