Forschungs- & Entwicklungsinformationsdienst der Gemeinschaft - CORDIS

Automated Program Analysis for Advanced Web Applications

Von 2015-08-01 bis 2020-07-31, Laufendes Projekt

Projektdetails

Gesamtkosten:

EUR 1 977 382

EU-Beitrag:

EUR 1 977 382

Koordiniert in:

Denmark

Aufruf zur Vorschlagseinreichung:

ERC-2014-CoGSee other projects for this call

Finanzierungsprogramm:

ERC-COG - Consolidator Grant

Ziel

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

Gasteinrichtung

AARHUS UNIVERSITET
Denmark

EU-Beitrag: EUR 1 977 382


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

Contact the organisation

Empfänger

AARHUS UNIVERSITET
Denmark

EU-Beitrag: EUR 1 977 382


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

Contact the organisation

To know more

Folgen Sie uns auf: RSS Facebook Twitter YouTube Verwaltet vom Amt für Veröffentlichungen der EU Nach oben