Static Analysis for the VErification of Spreadsheets

Información del proyecto

SPARKs

Identificador del acuerdo de subvención: 825492

DOI 10.3030/825492

Proyecto cerrado

Fecha de la firma de la CE 23 Octubre 2018

Fecha de inicio 1 Enero 2019

Fecha de finalización 31 Diciembre 2020

Financiado con arreglo a

• EXCELLENT SCIENCE - European Research Council (ERC)

Coste total € 149 533,00

Aportación de la UE € 149 533,00

Coordinado por

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
France

Publicaciones

Conference proceedings (1)

On Correctness of Automatic Differentiation for Non-Differentiable Functions

Autores: Lee, Wonyeol; Yu, Hangyeol; Rival, Xavier; Yang, Hongseok
Publicado en: https://hal.inria.fr/hal-03081582, Edición 1, 2020, Página(s) All
Editor: NeurIPS 2020 - 34th Conference on Neural Information Processing Systems

Derechos de propiedad intelectual

Other (1)

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

Número de solicitud/publicación: IDDN IDDN.FR.001.080045.000.S.A.2021.000.10000
Fecha: 2021-02-26