Unifying Tables Objects And Document
Date: May 19, 2003
Room: BBL 107A
Speaker: Wolfram Schulte (Microsoft Research)
Title: Unifying Tables, Objects and Documents
(joint work with Erik Meijer and the WebData?
group at MS)
We propose a number of type-system and language extensions to natively
support relational and hierarchical data within a statically typed
object-oriented setting. In our approach SQL tables and XML documents
become first class citizens that benefit from the full range of features
available in a modern programming language like CSharp or Java. This
allows objects, tables and documents to be constructed, loaded, passed,
transformed, updated, and queried in a unified and type-safe manner.
Wolfram Schulte is a researcher at Microsoft Corporation, Redmond,
since 1999. He received his Masters (1987) and PhD?
Computer Science from Technical University of Berlin. He has been
a software engineer for Software Design and Management (1992-1993),
and was Assistant Professor of Computer Science at University of
Ulm (1993-1999) where he also got his Habilitation (2000). He worked
for and collaborated with several large corporations, including
Daimler-Chrysler and Rhode and Schwarz.
He has broad interests in several areas of software construction,
including development methods, specification and programming languages,
automatic analysis of designs and implementations, and automatic
At Microsoft he is a key contributor for a research project focused
around the design and implementation of the abstract state machine
specification language. AsmL?
has been used in a variety of domains,
at different levels of abstraction: for analyzing network architectures,
web services, but also for hardware/software co-design. He is
particularly motivated by direct use of principled theory to practical
design and implementation of specification and programming languages.
He is also keen to apply ideas from advanced formal methods to
His home page is at http://research.microsoft.com/~schulte