Schwartzbach, Michael I.
-
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. 39 (2000): RS-39 The Pointer Assertion Logic Engine - Articles
The Pointer Assertion Logic Engine
Abstract PDF -
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. 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. 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. 24 (2000): RS-24 Growing Languages with Metamorphic Syntax Macros - Articles
Growing Languages with Metamorphic Syntax Macros
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. 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. 24 (2002): RS-24 Static Analysis for Dynamic XML - Articles
Static Analysis for Dynamic XML
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. 17 (1995): RS-17 Design Architectures through Category Constraints - Articles
Design Architectures through Category Constraints
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. 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. 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. 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. 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 -
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