Periodic Reporting for period 4 - PAW (Automated Program Analysis for Advanced Web Applications)

Web applications that execute in the user's web browser constitute a substantial part of modern software. 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...