Schwartzbach, Michael I.

• BRICS Report Series No. 8 (1995): RS-08 Type Inference of Turbo Pascal - Articles
  Type Inference of Turbo Pascal
  Abstract  PDF
• BRICS Report Series No. 47 (1997): RS-47 Distributed Safety Controllers for Web Services - Articles
  Distributed Safety Controllers for Web Services
  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. 24 (2000): RS-24 Growing Languages with Metamorphic Syntax Macros - Articles
  Growing Languages with Metamorphic Syntax Macros
  Abstract  PDF
• BRICS Report Series No. 4 (1994): RS-4 Graphs and Decidable Transductions based on Edge Constraints - Articles
  Graphs and Decidable Transductions based on Edge Constraints
  Abstract  PDF
• BRICS Report Series No. 7 (2003): RS-7 The METAFRONT System: Extensible Parsing and Transformation - Articles
  The METAFRONT System: Extensible Parsing and Transformation
  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. 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. 32 (2005): RS-32 Static Validation of XSL Transformations - Articles
  Static Validation of XSL Transformations
  Abstract  PDF
• BRICS Report Series No. 40 (2000): RS-40 MONA Implementation Secrets - Articles
  MONA Implementation Secrets
  Abstract  PDF
• BRICS Report Series No. 42 (2000): RS-42 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. 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. 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. 5 (2003): RS-5 Precise Analysis of String Expressions - Articles
  Precise Analysis of String Expressions
  Abstract  PDF
• BRICS Report Series No. 1 (2002): RS-1 The bigwig Project - Articles
  The bigwig Project
  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. 17 (1995): RS-17 Design Architectures through Category Constraints - Articles
  Design Architectures through Category Constraints
  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. 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. 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. 9 (1999): RS-9 A Runtime System for Interactive Web Services - Articles
  A Runtime System for Interactive Web Services
  Abstract  PDF