fkcc: the Farkas Calculator - Archive ouverte HAL
Communication Dans Un Congrès Année : 2019

fkcc: the Farkas Calculator

Résumé

In this paper, we present fkcc, a scripting tool to prototype program analyses 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 analyses and transformations exploiting the affine form of Farkas lemma.
Fichier principal
Vignette du fichier
tapas19.pdf (370.4 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03106000 , version 1 (11-01-2021)

Identifiants

  • HAL Id : hal-03106000 , version 1

Citer

Christophe Alias. fkcc: the Farkas Calculator. TAPAS 2019 - 10th Workshop on Tools for Automatic Program Analysis, Oct 2019, Porto, Portugal. pp.526-536. ⟨hal-03106000⟩
104 Consultations
80 Téléchargements

Partager

More