@INPROCEEDINGS{AntoyHanus10WLP,
author       = {Antoy, S. and Hanus, M.},
title        = {A Transformation Tool for Functional Logic Program Development},
year         = {2010},
booktitle    = {Proc. of the 24th Workshop on (Constraint) Logic Programming (WLP 2010)},
pages        = {23-33},
publisher    = {German University of Cairo},
abstract = {
We present a tool to support the development
of functional logic programs from their specifications.
Due to the expressive power of functional logic languages,
we assume that specifications are written in the form of contracts,
i.e., pre- and postconditions,
in the same language as the final programs.
Thus, one can use the contracts as initial prototypical
implementations as well as assertions to check the
right behavior of an efficient implementation.
We show how this software development process can be supported
by a transformation tool that can generate initial implementations
as well as run-time assertions from declarative contracts.
}
}