| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Anders Møller, Michael I. Schwartzbach |
XML graphs in program analysis.  |
Sci. Comput. Program.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Asger Feldthaus, Todd D. Millstein, Anders Møller, Max Schäfer, Frank Tip |
Tool-supported refactoring for JavaScript. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Asger Feldthaus, Todd D. Millstein, Anders Møller, Max Schäfer, Frank Tip |
Refactoring towards the good parts of javascript. |
OOPSLA Companion |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shay Artzi, Julian Dolby, Simon Holm Jensen, Anders Møller, Frank Tip |
A framework for automated testing of javascript web applications. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Holm Jensen, Magnus Madsen, Anders Møller |
Modeling the HTML DOM and browser API in static analysis of JavaScript web applications. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders Møller, Mathias Schwarz |
HTML Validation of Context-Free Languages. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Claus Brabrand, Robert Giegerich, Anders Møller |
Analyzing ambiguity of context-free grammars. |
Sci. Comput. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Holm Jensen, Anders Møller, Peter Thiemann |
Interprocedural Analysis with Lazy Propagation. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders Møller, Mathias Schwarz |
JWIG: Yet Another Framework for Maintainable and Secure Web Applications. |
WEBIST |
2009 |
DBLP BibTeX RDF |
|
| 1 | Simon Holm Jensen, Anders Møller, Peter Thiemann |
Type Analysis for JavaScript. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Claus Brabrand, Anders Møller, Michael I. Schwartzbach |
Dual syntax for XML languages. |
Inf. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders Møller |
Static Analysis for Event-Based XML Processing. |
PLAN-X |
2008 |
DBLP BibTeX RDF |
|
| 1 | Anders Møller, Mads Østerby Olesen, Michael I. Schwartzbach |
Static validation of XSL transformations. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
static analysis, XML Schema, XSLT, DTD |
| 1 | Anders Møller, Michael I. Schwartzbach |
XML graphs in program analysis. |
PEPM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Claus Brabrand, Robert Giegerich, Anders Møller |
Analyzing Ambiguity of Context-Free Grammars. |
CIAA |
2007 |
DBLP DOI BibTeX RDF |
CFG ambiguity, regular approximation, RNA analysis |
| 1 | Henning Böttger, Anders Møller, Michael I. Schwartzbach |
Contracts for Cooperation between Web Service Programmers and HTML Designers. |
J. Web Eng. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Anders Møller, Michael I. Schwartzbach |
An introduction to XML and web technologies. |
|
2006 |
RDF |
|
| 1 | Christian Kirkegaard, Anders Møller |
Static Analysis for Java Servlets and JSP. |
SAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Kirkegaard, Anders Møller |
Type Checking with XML Schema in XACT. |
PLAN-X |
2006 |
DBLP BibTeX RDF |
|
| 1 | Christian Kirkegaard, Anders Møller |
XACT - XML Transformations in Java. |
PLAN-X |
2006 |
DBLP BibTeX RDF |
|
| 1 | Anders Møller, Michael I. Schwartzbach |
The Design Space of Type Checkers for XML Transformation Languages. |
ICDT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Claus Brabrand, Anders Møller, Michael I. Schwartzbach |
Dual Syntax for XML Languages. |
DBPL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Kirkegaard, Anders Møller, Michael I. Schwartzbach |
Static Analysis of XML Transformations in Java. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
markup languages, requirements/specifications, Language constructs and features |
| 1 | Anders Møller |
Verifying Programs that Manipulate Pointers: (Invited Talk). |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Aske Simon Christensen, Christian Kirkegaard, Anders Møller |
A Runtime System for XML Transformations in Java. |
XSym |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach |
Extending Java for high-level Web service construction. |
ACM Trans. Program. Lang. Syst. |
2003 |
DBLP DOI BibTeX RDF |
Interactive Web services, XML, data-flow analysis |
| 1 | Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach |
Precise Analysis of String Expressions. |
SAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Klarlund, Anders Møller, Michael I. Schwartzbach |
The DSD Schema Language. |
Autom. Softw. Eng. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Claus Brabrand, Anders Møller, Michael I. Schwartzbach |
The project. |
ACM Trans. Internet Techn. |
2002 |
DBLP DOI BibTeX RDF |
Interactive Web services, World Wide Web (WWW), program analysis, HTML |
| 1 | Nils Klarlund, Anders Møller, Michael I. Schwartzbach |
MONA Implementation Secrets. |
Int. J. Found. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Claus Brabrand, Anders Møller, Steffan Olesen, Michael I. Schwartzbach |
Language-Based Caching of Dynamiclly Generated HTML. |
World Wide Web |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders Møller, Michael I. Schwartzbach |
The Pointer Assertion Logic Engine. |
PLDI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Claus Brabrand, Anders Møller, Michael I. Schwartzbach |
Static validation of dynamically generated HTML. |
PASTE |
2001 |
DBLP DOI BibTeX RDF |
HTML |
| 1 | Claus Brabrand, Anders Møller, Mikkel Ricky, Michael I. Schwartzbach |
PowerForms: Declarative client-side form field validation. |
World Wide Web |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Klarlund, Anders Møller, Michael I. Schwartzbach |
DSD: A schema language for XML. |
FMSP |
2000 |
DBLP DOI BibTeX RDF |
XML |
| 1 | Nils Klarlund, Anders Møller, Michael I. Schwartzbach |
MONA Implementation Secrets. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob Elgaard, Anders Møller, Michael I. Schwartzbach |
Compile-Time Debugging of C Programs Working on Trees. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Claus Brabrand, Anders Møller, Anders Sandholm, Michael I. Schwartzbach |
A Runtime System for Interactive Web Services. |
Computer Networks |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob Elgaard, Nils Klarlund, Anders Møller |
MONA 1.x: New Techniques for WS1S and WS2S. |
CAV |
1998 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")