ABSTRACT
This article describes how to design and evaluate custom financial swaps using CLP(R), a constraint logic programming language over the real numbers. A prototype analysis tool, Paws, was implemented, and its analysis of a large real-life example is given to illustrate the techniques. The analyzer is useful to swap practitioners by allowing quick and flexible experimentation over the design space.
