| ||||
| ||||
![]() Title:fkcc: the Farkas Calculator Authors:Christophe Alias Conference:TAPAS 2019 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. fkcc: the Farkas Calculator ![]() fkcc: the Farkas Calculator | ||||
Copyright © 2002 – 2025 EasyChair |