fkcc: the Farkas Calculator - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2019

fkcc: the Farkas Calculator

Résumé

In this paper, we presentfkcc, a scripting tool to proto-type program analyses and transformations exploiting the affine form ofFarkas lemma. Our language is general enough to prototype in a fewlines sophisticated termination and scheduling algorithms. The tool isfreely available and may be tried online via a web interface. We believethatfkccis the missing chain to accelerate the development of programanalyses and transformations exploiting the affine form of Farkas lemma.
Fichier principal
Vignette du fichier
RR-9313.pdf (1.08 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02414224 , version 1 (16-12-2019)

Identifiants

  • HAL Id : hal-02414224 , version 1

Citer

Christophe Alias. fkcc: the Farkas Calculator. [Research Report] RR-9313, Inria. 2019. ⟨hal-02414224⟩
64 Consultations
166 Téléchargements

Partager

Gmail Facebook X LinkedIn More