Static Analysis for the VErification of Spreadsheets

Informazioni relative al progetto

SPARKs

ID dell’accordo di sovvenzione: 825492

DOI

10.3030/825492

Progetto chiuso

Data della firma CE 23 Ottobre 2018

Data di avvio 1 Gennaio 2019

Data di completamento 31 Dicembre 2020

Finanziato da

• EXCELLENT SCIENCE - European Research Council (ERC)

Costo totale

€ 149 533,00

Contributo UE

€ 149 533,00

Coordinato da

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
France

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Conference proceedings (1)

On Correctness of Automatic Differentiation for Non-Differentiable Functions

Autori: Lee, Wonyeol; Yu, Hangyeol; Rival, Xavier; Yang, Hongseok
Pubblicato in: https://hal.inria.fr/hal-03081582, Numero 1, 2020, Pagina/e All
Editore: NeurIPS 2020 - 34th Conference on Neural Information Processing Systems

Diritti di proprietà intellettuale

Other (1)

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

Numero candidatura/pubblicazione: IDDN IDDN.FR.001.080045.000.S.A.2021.000.10000
Data: 2021-02-26
Candidato/i: INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE