Wspólnotowy Serwis Informacyjny Badan i Rozwoju - CORDIS

ERC

PAW

Project ID: 647544
Źródło dofinansowania

Automated Program Analysis for Advanced Web Applications

Od 2015-08-01 do 2020-07-31, projekt w toku

Dane projektu

Całkowity koszt:

EUR 1 977 382

Wkład UE:

EUR 1 977 382

Kraj koordynujący:

Denmark

Zaproszenie do składania wniosków:

ERC-2014-CoGSee other projects for this call

System finansowania:

ERC-COG - Consolidator Grant

Cel

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

Instytucja przyjmująca

AARHUS UNIVERSITET
Denmark

Wkład UE: EUR 1 977 382


Nordre Ringgade 1
8000 AARHUS C
Denmark
Activity type: Higher or Secondary Education Establishments

Contact the organisation

Beneficjenci

AARHUS UNIVERSITET
Denmark

Wkład 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

Śledź nas na: RSS Facebook Twitter YouTube Zarządzany przez Urząd Publikacji UE W górę