fkcc: the Farkas Calculator - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 2019

fkcc: the Farkas Calculator

Abstract

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

Dates and versions

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

Identifiers

  • HAL Id : hal-02414224 , version 1

Cite

Christophe Alias. fkcc: the Farkas Calculator. [Research Report] RR-9313, Inria. 2019. ⟨hal-02414224⟩
58 View
111 Download

Share

Gmail Facebook Twitter LinkedIn More