@INPROCEEDINGS{AntoyHanus12PADL,
author    = "Antoy, S. and Hanus, M.",
title     = "Contracts and Specifications for Functional Logic Programming",
year      = "2012",
booktitle = "Proc. of the 14th International Symposium on
     Practical Aspects of Declarative Languages (PADL 2012)",
pages        = {33-47},
publisher    = {Springer LNCS 7149},
abstract = {
The expressive power of functional logic languages
supports high-level specifications
as well as efficient implementations of problems
in the same language.
If specifications are executable, they
can be used both as initial prototypical implementations
and as contracts for checking the reliable
execution of implementations intended to satisfy
the specification.
In this paper, we propose a practical framework
to support this general approach to coding.
We discuss the notions of specifications and contracts
for functional logic programming and present a tool
that supports the development of declarative programs
based on these notions.
}
}