Servizio Comunitario di Informazione in materia di Ricerca e Sviluppo - CORDIS

ERC

PAW

Project ID: 647544
Finanziato nell'ambito di

Automated Program Analysis for Advanced Web Applications

Dal 2015-08-01 al 2020-07-31, progetto in corso

Dettagli del progetto

Costo totale:

EUR 1 977 382

Contributo UE:

EUR 1 977 382

Coordinato in:

Denmark

Invito a presentare proposte:

ERC-2014-CoGSee other projects for this call

Meccanismo di finanziamento:

ERC-COG - Consolidator Grant

Obiettivo

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

Istituzione ospitante

AARHUS UNIVERSITET
Denmark

Contributo UE: EUR 1 977 382


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

Contact the organisation

Beneficiari

AARHUS UNIVERSITET
Denmark

Contributo 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