Static Analysis for the VErification of Spreadsheets

Projektinformationen

SPARKs

ID Finanzhilfevereinbarung: 825492

DOI

10.3030/825492

Projekt abgeschlossen

EK-Unterschriftsdatum 23 Oktober 2018

Startdatum 1 Januar 2019

Enddatum 31 Dezember 2020

Finanziert unter

• EXCELLENT SCIENCE - European Research Council (ERC)

Gesamtkosten

€ 149 533,00

EU-Beitrag

€ 149 533,00

Koordiniert durch

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
France

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Conference proceedings (1)

On Correctness of Automatic Differentiation for Non-Differentiable Functions

Autoren: Lee, Wonyeol; Yu, Hangyeol; Rival, Xavier; Yang, Hongseok
Veröffentlicht in: https://hal.inria.fr/hal-03081582, Ausgabe 1, 2020, Seite(n) All
Herausgeber: NeurIPS 2020 - 34th Conference on Neural Information Processing Systems

Rechte des geistigen Eigentums

Other (1)

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

Antrags-/Publikationsnummer: IDDN IDDN.FR.001.080045.000.S.A.2021.000.10000
Datum: 2021-02-26
Antragsteller: INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE