- Static Analysis for Dynamic XMLStatic Analysis for Dynamic XML Anders Mller
- Journal of Web Engineering, Vol. ?, No. ? (200?) ?????? c Rinton Press
- The Lambda CalculusThe Lambda Calculus Static Analysis 2009Static Analysis 2009
- Growing Languages with Metamorphic Syntax Macros Claus Brabrand
- The metafront System: Extensible Parsing and Transformation
- A Singular Choice for Multiple Choice Gudmund S. Frandsen
- A Type System for Dynamic Web Documents Anders Sandholm and Michael I. Schwartzbach
- Type Inference of Turbo Pascal Ole I. Hougaard, Michael I. Schwartzbach, Hosein Askari
- Injectivity of Composite Functions Kim S. Larsen
- Language-Based Caching of Dynamically Generated HTML
- 8 Path Sensitivity Until now, we have ignored the values of conditions by simply treating if-and
- In Proc. ECOOP'93, Springer-Verlag LNCS 707, pages 247 267. Type Inference of SELF
- The Pointer Assertion Logic Engine Anders Mller & Michael I. Schwartzbach
- To appear in Theoretical Computer Science. Also in Proc. ICALP'90, pages 32-45.
- Polymorphic Type Inference Michael I. Schwartzbach
- XML Graphs in Program Analysis$ Anders Mller and Michael Schwartzbach
- The Lambda CalculusThe Lambda Calculus Static Analysis 2009Static Analysis 2009
- Michael I. Schwartzbach University of Aarhus
- Compile-Time Debugging of C Programs Working on Trees
- Interpretations of Recursively Defined Types
- A Domain-Specific Programming Language for Secure Multiparty Computation
- Static Validation of Dynamically Generated HTML Claus Brabrand, Anders Mller, and Michael I. Schwartzbach
- Proc. CAAP'94, pages 187-201. Graphs and Decidable Transductions
- Precise Analysis of String ExpressionsPrecise Analysis of String Expressions University of Aarhus
- A Runtime System for Interactive Web Services Claus Brabrand Anders Mller Anders Sandholm
- Dual Syntax for XML Languages Claus Brabrand, Anders Mller, and Michael I. Schwartzbach
- IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Static Analysis of XML Transformations in Java
- The Project Claus Brabrand, Anders Mller, and Michael I. Schwartzbach
- MONA Implementation Secrets Nils Klarlund1
- To appear in Science of Computer Programming. Static Typing for
- IntroductionIntroduction A Tiny Example LanguageA Tiny Example Language
- Lattice TheoryLattice Theory Control Flow GraphsControl Flow Graphs
- Control Flow AnalysisControl Flow Analysis Static Analysis 2009Static Analysis 2009
- Pointer AnalysisPointer Analysis Static Analysis 2009Static Analysis 2009
- Static Validation of XSL TransformationsStatic Validation of XSL Transformations Michael I. Schwartzbach
- Proc. ICCL'94, Fifth IEEE International Conference on Computer Languages, pages 289-298. Binding-time Analysis
- Tiny Multiple Choice Test Consider the following example XML tree in which the current node is colored black
- Shape AnalysisShape Analysis Static Analysis 2009Static Analysis 2009
- Dataflow AnalysisDataflow Analysis Widening and NarrowingWidening and Narrowing
- An Intermediate Language Relational Algebra
- Type Inference with Inequalities Michael I. Schwartzbach
