Obiettivo Web applications that execute in the user's web browser constitute a substantial part of modern software. JavaScript is the main programming language of the web, although alternatives are emerging, in particular, TypeScript and Dart. Despite the advances in design of languages and libraries, it is difficult to prevent errors when programming such web applications. Although the basic principles of software verification have been known for decades and researchers have developed an abundance of techniques for formal reasoning about programs, modern software has lots of errors, as everyday users can testify. The PAW project will create novel automated program analysis algorithms for preventing errors and improving performance of advanced web applications. The project hypothesis is that a scientific breakthrough is within reach, due to recent results in static and dynamic program analysis for JavaScript. The central idea is to combine static and dynamic analysis in new ways. In addition, the project will make program analysis algorithms and infrastructure available in a form that embraces reusability. Campo scientifico natural sciencescomputer and information sciencessoftwarehumanitiesphilosophy, ethics and religionphilosophy Parole chiave static analysis automated testing JavaScript Programma(i) H2020-EU.1.1. - EXCELLENT SCIENCE - European Research Council (ERC) Main Programme Argomento(i) ERC-CoG-2014 - ERC Consolidator Grant Invito a presentare proposte ERC-2014-CoG Vedi altri progetti per questo bando Meccanismo di finanziamento ERC-COG - Consolidator Grant Istituzione ospitante AARHUS UNIVERSITET Contribution nette de l'UE € 1 977 382,00 Indirizzo NORDRE RINGGADE 1 8000 Aarhus C Danimarca Mostra sulla mappa Regione Danmark Midtjylland Østjylland Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 1 977 382,00 Beneficiari (1) Classifica in ordine alfabetico Classifica per Contributo netto dell'UE Espandi tutto Riduci tutto AARHUS UNIVERSITET Danimarca Contribution nette de l'UE € 1 977 382,00 Indirizzo NORDRE RINGGADE 1 8000 Aarhus C Mostra sulla mappa Regione Danmark Midtjylland Østjylland Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 1 977 382,00