Copenhagen Programming Language Seminar

Type Analysis for JavaScript Web Applications

Anders Møller
Aarhus University

December 15th, 3:00-4:00 p.m
DIKU, Universitetsparken 1, Meeting room A+B

JavaScript is the main scripting language for Web browsers, and it is
essential to modern Web applications. Programmers now use it for
writing complex applications, but there is still little tool support
available during development. This talk presents a research project
that aims to develop a static program analysis infrastructure that can
infer detailed and sound type-related information for JavaScript
programs. The analysis being developed is designed to support the full
language as defined in the ECMAScript standard. The analysis results
can be used to detect common programming errors – or rather, prove
their absence, and for producing type information for program


Anders Moeller is associate professor at Aarhus University. His recent
work includes language design and program analysis techniques related
to WWW, such as static validation of dynamically generated HTML,
analysis of string operations in Java, transformation of XML data, and
analyses for JavaScript.

Scientific host: Fritz Heinglein Administrative host:Jette Møller. All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, ITU and RUC.
COPLAS is sponsored by the FIRST Graduate School.
To receive information about COPLAS talks by email, send a message to prog-lang-request@mail.it-c.dk with the word 'subscribe' as subject or in the body.

For more information about COPLAS, see http://www.coplas.org