Conference Papers Year : 2019

fkcc: the Farkas Calculator

Abstract

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
Origin Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : hal-03106000 , version 1

Cite

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⟩
120 View
86 Download

Share

More