Copenhagen Programming Language Seminar
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
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
Fritz Heinglein Administrative host:Jette
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 firstname.lastname@example.org with the word 'subscribe' as subject or in the body.
For more information about COPLAS, see http://www.coplas.org