by Sergio Antoy, Michael Hanus
Proc. of the 24th Workshop on (Constraint) Logic Programming (WLP 2010), German University of Cairo, pp. 23-33, 2010
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.
Preprint (PDF) BibTeX-Entry