Summary: A Transformation Tool for
Functional Logic Program Development
Computer Science Dept., Portland State University, Oregon, U.S.A.
Institut f¨ur Informatik, CAU Kiel, D-24098 Kiel, Germany.
Abstract. We present a tool to develop functional logic programs from their
specifications. Specifications of functional logic languages, i.e., contracts in the
form of pre- and postconditions, are written in the same language as the final
programs. Thus, contracts serve either as initial prototypical implementations or
as assertions to check the expected behavior of more efficient implementations.
We describe a tool that supports this software development process. Our tool
can either instrument ordinary programs with run-time assertions obtained from
declarative contracts or can transform declarative contracts into prototypical im-