Top JAOO 2003
White
 

CONFERENCE
SPEAKERS
SCHEDULE
TUTORIALS
TRACKS
MANAGER TRACK
WORKSHOPS/BOF's

SOCIAL EVENTS
IT-RUN

EXHIBITION
SPONSORS
CONVINCE YOUR BOSS

REGISTRATION
TRAVEL
HOTELS
AARHUS FACTS

LINKS
HOME

Archives
JAOO 2006
JAOO 2005
JAOO 2004
JAOO 2002
JAOO 2001
JAOO 2000
JAOO 1999

JAOO CREW


CONTACT JAOO
JAOO Conference
Scandinavian Center
Margrethepladsen 3
DK-8000 Aarhus C
Tel.:+45 87 32 87 87
Fax: +45 87 32 87 88
VAT: 25809149
jaoo@jaoo.dk


panel
  Line  

Speaker


Michael Schwartzbach
University of Aarhus


Michael I. Schwartzbach is Associate Professor of Computer Science at the University of Aarhus. He works with design and implementation of programming languages, XML, and Web technology.
Picture of Michael  Schwartzbach (University of Aarhus)


Presentation: "Xact: XML in Java"

Tuesday 14:00 - 14:45, Protected Room

XML documents generated dynamically by programs are typically represented as text strings or DOM trees. This is a low-level approach for several reasons:
  • Traversing and modifying such structures can be tedious and error prone;
  • Although schema languages, e.g. DTD, allow classes of XML documents to be defined, there are generally no automatic mechanisms for statically checking that a program transforms from one class to another as intended.

We introduce Xact, a high-level approach for Java using XML templates as a first-class data type with operations for manipulating XML values based on XPath. In addition to an efficient runtime representation, the data type permits static type checking using DTD schemas as types. By specifying schemas for the input and output of a program, our algorithm will statically verify that valid input data is always transformed into valid output data and that no errors occur during processing.

Xact is freely available as a stand-alone, open-source product: http://www.brics.dk/Xact.

Xact: XML in Java - (slides)

Please notice that the slides are password protected. You should have received an e-mail containing the required username and password.

 
EOS
Oracle
SUN
SAP

Trifork EAS