A Transformation Tool for Functional Logic Program Development
The authors 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 post-conditions, 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. They describe a tool that supports this software development process. Their tool can either instrument ordinary programs with run-time assertions obtained from declarative contracts or can transform declarative contracts into prototypical implementations.