Tags:Farkas lemma, Scheduling, Scripting tool and Termination
Abstract:
In this paper, we present fkcc, a scripting tool to prototype program analysis and transformations exploiting the affine form of Farkas lemma. Our language is general enough to prototype in a few lines sophisticated termination and scheduling algorithms. The tool is freely available and may be tried online via a web interface. We believe that fkcc is the missing chain to accelerate the development of program analysis and transformations exploiting the affine form of Farkas lemma.