Møller, Anders
-
BRICS Report Series No. 32 (2005): RS-32 Static Validation of XSL Transformations - Articles
Static Validation of XSL Transformations
Abstract PDF -
BRICS Report Series No. 39 (2000): RS-39 The Pointer Assertion Logic Engine - Articles
The Pointer Assertion Logic Engine
Abstract PDF -
BRICS Report Series No. 16 (2006): RS-16 Static Analysis for Event-Based XML Processing - Articles
Static Analysis for Event-Based XML Processing
Abstract PDF -
BRICS Report Series No. 34 (2004): RS-34 The Design Space of Type Checkers for XML Transformation Languages - Articles
The Design Space of Type Checkers for XML Transformation Languages
Abstract PDF -
BRICS Report Series No. 1 (2008): RS-1 Not published - Articles
Static Analysis for Event-Based XML Processing
Abstract -
BRICS Report Series No. 1 (2002): RS-1 The bigwig Project - Articles
The bigwig Project
Abstract PDF -
BRICS Report Series No. 9 (2001): RS-9 Static Validation of Dynamically Generated HTML - Articles
Static Validation of Dynamically Generated HTML
Abstract PDF -
BRICS Report Series No. 17 (2001): RS-17 Language-Based Caching of Dynamically Generated HTML - Articles
Language-Based Caching of Dynamically Generated HTML
Abstract PDF -
BRICS Report Series No. 11 (2002): RS-11 Extending Java for High-Level Web Service Construction - Articles
Extending Java for High-Level Web Service Construction
Abstract PDF -
BRICS Report Series No. 5 (2003): RS-5 Precise Analysis of String Expressions - Articles
Precise Analysis of String Expressions
Abstract PDF -
BRICS Report Series No. 19 (2003): RS-19 Static Analysis of XML Transformations in Java - Articles
Static Analysis of XML Transformations in Java
Abstract PDF -
BRICS Report Series No. 9 (1999): RS-9 A Runtime System for Interactive Web Services - Articles
A Runtime System for Interactive Web Services
Abstract PDF -
BRICS Report Series No. 38 (2003): RS-38 Contracts for Cooperation between Web Service Programmers and HTML Designers - Articles
Contracts for Cooperation between Web Service Programmers and HTML Designers
Abstract PDF -
BRICS Report Series No. 31 (2005): RS-31 Type Checking with XML Schema in XACT - Articles
Type Checking with XML Schema in XACT
Abstract PDF -
BRICS Report Series No. 8 (2006): RS-8 Static Analysis for Java Servlets and JSP - Articles
Static Analysis for Java Servlets and JSP
Abstract PDF -
BRICS Report Series No. 10 (2006): RS-10 Static Analysis for Java Servlets and JSP - Articles
Static Analysis for Java Servlets and JSP
Abstract PDF -
BRICS Report Series No. 24 (2002): RS-24 Static Analysis for Dynamic XML - Articles
Static Analysis for Dynamic XML
Abstract PDF -
BRICS Report Series No. 40 (2000): RS-40 MONA Implementation Secrets - Articles
MONA Implementation Secrets
Abstract PDF -
BRICS Report Series No. 41 (2000): RS-41 The DSD Schema Language and its Applications - Articles
The DSD Schema Language and its Applications
Abstract PDF -
BRICS Report Series No. 42 (2000): RS-42 The bigwig Project - Articles
The bigwig Project
Abstract PDF -
BRICS Report Series No. 43 (2000): RS-43 PowerForms: Declarative Client-Side Form Field Validation - Articles
PowerForms: Declarative Client-Side Form Field Validation
Abstract PDF -
BRICS Report Series No. 33 (2004): RS-33 A Runtime System for XML Transformations in Java - Articles
A Runtime System for XML Transformations in Java
Abstract PDF -
BRICS Report Series No. 10 (2007): RS-10 Analyzing Ambiguity of Context-Free Grammars - Articles
Analyzing Ambiguity of Context-Free Grammars
Abstract PDF -
BRICS Report Series No. 9 (2006): RS-9 Analyzing Ambiguity of Context-Free Grammars - Articles
Analyzing Ambiguity of Context-Free Grammars
Abstract -
BRICS Report Series No. 29 (2003): RS-29 A Runtime System for XML Transformations in Java - Articles
A Runtime System for XML Transformations in Java
Abstract PDF