left

Techniques working on FP

right
AProVE Help SystemTechniquesTechniques working on FP
The following list contains an overview of all simplification techniques, which could be applied to FP programs. All of these techniques require that the TRS generated from the FP program is completely defined. For an exhaustive description of these techniques please consult the following papers [Gie95, Has04].