Static Analysis for the VErification of Spreadsheets

Informations projet

SPARKs

N° de convention de subvention: 825492

DOI 10.3030/825492

Projet clôturé

Date de signature de la CE 23 Octobre 2018

Date de début 1 Janvier 2019

Date de fin 31 Decembre 2020

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total € 149 533,00

Contribution de l’UE € 149 533,00

Coordonné par

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
France

Publications

Conference proceedings (1)

On Correctness of Automatic Differentiation for Non-Differentiable Functions

Auteurs: Lee, Wonyeol; Yu, Hangyeol; Rival, Xavier; Yang, Hongseok
Publié dans: https://hal.inria.fr/hal-03081582, Numéro 1, 2020, Page(s) All
Éditeur: NeurIPS 2020 - 34th Conference on Neural Information Processing Systems

Droits de propriété intellectuelle

Other (1)

"""Analyseur Statique de tableurs Excel"" V2.0"

Numéro de demande/publication: IDDN IDDN.FR.001.080045.000.S.A.2021.000.10000
Date: 2021-02-26