Static Analysis for the VErification of Spreadsheets

Informacje na temat projektu

SPARKs

Identyfikator umowy o grant: 825492

DOI 10.3030/825492

Projekt został zamknięty

Data podpisania przez KE 23 Października 2018

Data rozpoczęcia 1 Stycznia 2019

Data zakończenia 31 Grudnia 2020

Finansowanie w ramach

• EXCELLENT SCIENCE - European Research Council (ERC)

Koszt całkowity € 149 533,00

Wkład UE € 149 533,00

Koordynowany przez

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
France

Publikacje

Conference proceedings (1)

On Correctness of Automatic Differentiation for Non-Differentiable Functions

Autorzy: Lee, Wonyeol; Yu, Hangyeol; Rival, Xavier; Yang, Hongseok
Opublikowane w: https://hal.inria.fr/hal-03081582, Numer 1, 2020, Strona(/y) All
Wydawca: NeurIPS 2020 - 34th Conference on Neural Information Processing Systems

Prawa własności intelektualnej

Other (1)

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

Numer wniosku/publikacji: IDDN IDDN.FR.001.080045.000.S.A.2021.000.10000
Data: 2021-02-26