Skip to Main content Skip to Navigation
Reports

fkcc: the Farkas Calculator

Christophe Alias 1
1 CASH - CASH - Compilation and Analysis, Software and Hardware
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
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.
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/hal-02414224
Contributor : Christophe Alias <>
Submitted on : Monday, December 16, 2019 - 3:17:06 PM
Last modification on : Friday, June 25, 2021 - 3:40:06 PM

File

RR-9313.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02414224, version 1

Collections

Citation

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

Share

Metrics

Record views

67

Files downloads

284