Anders Møller
Aarhus University
Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
Precise Analysis of String Expressions
- A. Christensen, Anders Møller, M. Schwartzbach
- Computer Science
- SAS
- 11 June 2003
We perform static analysis of Java programs to answer a simple question: which values may occur as results of string expressions? The answers are summarized for each expression by a regular language… Expand
Type Analysis for JavaScript
- S. Jensen, Anders Møller, P. Thiemann
- Computer Science
- SAS
- 12 August 2009
JavaScript is the main scripting language for Web browsers, and it is essential to modern Web applications. Programmers have started using it for writing complex applications, but there is still… Expand
The project
- Claus Brabrand, Anders Møller, M. Schwartzbach
- Computer Science
- ACM Trans. Internet Techn.
- 2002
A framework for automated testing of javascript web applications
- Shay Artzi, Julian T Dolby, S. Jensen, Anders Møller, F. Tip
- Computer Science
- 33rd International Conference on Software…
- 21 May 2011
Current practice in testing JavaScript web applications requires manual construction of test cases, which is difficult and tedious. We present a framework for feedback-directed automated test… Expand
Dual syntax for XML languages
- Claus Brabrand, Anders Møller, M. Schwartzbach
- Computer Science
- Inf. Syst.
- 1 June 2008
XML is successful as a machine processable data interchange format, but it is often too verbose for human use. For this reason, many XML languages permit an alternative more legible non-XML syntax.… Expand
Modeling the HTML DOM and browser API in static analysis of JavaScript web applications
- S. Jensen, Magnus Madsen, Anders Møller
- Computer Science
- ESEC/FSE '11
- 5 September 2011
Developers of JavaScript web applications have little tool support for catching errors early in development. In comparison, an abundance of tools exist for statically typed languages, including… Expand
Determinacy in static analysis for jQuery
- Esben Andreasen, Anders Møller
- Computer Science
- OOPSLA
- 15 October 2014
Static analysis for JavaScript can potentially help programmers find errors early during development. Although much progress has been made on analysis techniques, a major obstacle is the prevalence… Expand
PowerForms: Declarative client-side form field validation
- Claus Brabrand, Anders Møller, M. Ricky, M. Schwartzbach
- Computer Science
- World Wide Web
- 1 December 2000
All uses of HTML forms may benefit from validation of the specified input field values. Simple validation matches individual values against specified formats, while more advanced validation may… Expand
The pointer assertion logic engine
- Anders Møller, M. Schwartzbach
- Computer Science
- PLDI '01
- 20 June 2001
We present a new framework for verifying partial specifications of programs in order to catch type and memory errors and check data structure invariants. Our technique can verify a large class of… Expand