Efficient, Pareto-improving processes

We give two optimization programs for determining whether Pareto improving local changes are possible. When they are, the programs compute them. Any procedure generating efficient and Pareto improving changes can be replicated by these programs. The two programs are dual to each other. We apply the programs to Pareto improving exchange processes and to Pareto-improving tax-tariff reforms.