Cel 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. Dziedzina nauki natural sciencescomputer and information sciencessoftwarehumanitiesphilosophy, ethics and religionphilosophy Słowa kluczowe static analysis automated testing JavaScript Program(-y) H2020-EU.1.1. - EXCELLENT SCIENCE - European Research Council (ERC) Main Programme Temat(-y) ERC-CoG-2014 - ERC Consolidator Grant Zaproszenie do składania wniosków ERC-2014-CoG Zobacz inne projekty w ramach tego zaproszenia System finansowania ERC-COG - Consolidator Grant Instytucja przyjmująca AARHUS UNIVERSITET Wkład UE netto € 1 977 382,00 Adres NORDRE RINGGADE 1 8000 Aarhus C Dania Zobacz na mapie Region Danmark Midtjylland Østjylland Rodzaj działalności Higher or Secondary Education Establishments Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Uczestnictwo w unijnych programach w zakresie badań i innowacji Opens in new window sieć współpracy HORIZON Opens in new window Koszt całkowity € 1 977 382,00 Beneficjenci (1) Sortuj alfabetycznie Sortuj według wkładu UE netto Rozwiń wszystko Zwiń wszystko AARHUS UNIVERSITET Dania Wkład UE netto € 1 977 382,00 Adres NORDRE RINGGADE 1 8000 Aarhus C Zobacz na mapie Region Danmark Midtjylland Østjylland Rodzaj działalności Higher or Secondary Education Establishments Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Uczestnictwo w unijnych programach w zakresie badań i innowacji Opens in new window sieć współpracy HORIZON Opens in new window Koszt całkowity € 1 977 382,00