Servicio de Información Comunitario sobre Investigación y Desarrollo - CORDIS

ERC

PAW

Project ID: 647544
Financiado con arreglo a

Automated Program Analysis for Advanced Web Applications

Desde 2015-08-01 hasta 2020-07-31, proyecto en curso

Detalles del proyecto

Coste total:

EUR 1 977 382

Aportación de la UE:

EUR 1 977 382

Coordinado en:

Denmark

Convocatoria de propuestas:

ERC-2014-CoGSee other projects for this call

Régimen de financiación:

ERC-COG - Consolidator Grant

Objetivo

Related Information not available

Deliverables

Deliverables not available

Publications

  • Message safety in Dart
    Author(s): Erik Ernst, Anders Møller, Mathias Schwarz, and Fabio Strocco
    Published in: Science of Computer Programming, issue Volume 133, Part 1, 2016. Page(s) 51-73.  ISSN: 0167-6423
  • Feedback-Directed Instrumentation for Deployed JavaScript Applications
    Author(s): Magnus Madsen, Frank Tip, Esben Andreasen, Koushik Sen, and Anders Møller
    Published in: Included in proceedings from ICSE 2016, issue ICSE 2016, 2016. 
  • Type Unsoundness in Practice: An Empirical Study of Dart
    Author(s): Gianluca Mezzetti, Anders Møller, and Fabio Strocco
  • Analyzing Test Completeness for Dynamic Languages
    Author(s): Christoffer Quist Adamsen, Gianluca Mezzetti, and Anders Møller
    Published in: Proceedings from ISSTA 2016, issue ISSTA 2016, 2016. 
  • Type Safety Analysis for Dart
    Author(s): Thomas S. Heinze, Anders Møller, and Fabio Strocco
  • Repairing Event Race Errors by Controlling Nondeterminism
    Author(s): Christoffer Quist Adamsen, Anders Møller, Rezwana Karim, Manu Sridharan, Frank Tip, and Koushik Sen
  • Inference and Evolution of TypeScript Declaration Files
    Author(s): Erik Krogh Kristensen and Anders Møller

Institución de acogida

AARHUS UNIVERSITET
Denmark

Aportación de la UE: EUR 1 977 382


NORDRE RINGGADE 1
8000 AARHUS C
Denmark
Activity type: Higher or Secondary Education Establishments

Contact the organisation

Beneficiarios

AARHUS UNIVERSITET
Denmark

Aportación de la UE: EUR 1 977 382


NORDRE RINGGADE 1
8000 AARHUS C
Denmark
Activity type: Higher or Secondary Education Establishments

Contact the organisation

To know more

Síganos en: RSS Facebook Twitter YouTube Gestionado por la Oficina de Publicaciones de la UE Arriba