XML and Semi-structured Data (Seminar), Winter Term 2008/09

Prof. Dr. Heiko Vogler / Dr. Janis Voigtländer

Content

We will study XML processing both from an automata theoretic and a programming language perspective. See also a related lecture that took place in the previous term.

Prerequisites

Examination Method

Students will study the assigned topics based on original literature and/or books.

Each student will give a talk towards the end of the semester.

Students of CL, as well as Computer Science students aiming at a Hauptseminar (but not Proseminar), will have to write a seminar essay on their topic (about 15 pages long).

The language of the seminar is English.

Organization

There was a first meeting on October 17th, 13:00-14:30 (DS 4), in room INF E005.

Here is the tool that was used for topic assignments.

There was an intermediate meeting on November 14th, 13:00-14:30 (DS 4), in room INF E005.

The first versions of seminar essays were due on December 31st.

The final versions of seminar essays were due on January 20th.

Schedule of talks (Room 3027):

January 28th

Time Student Topic Supervisor
09:20 Guido Scheffler XPath, Proseminar Janis Voigtländer
10:20 Jens Grünberg Query equivalence and optimization, Full Seminar Janis Voigtländer
12:15 Daniel Schröder A logical characterization of CoreXPath, Full Seminar Torsten Stüber
13:15 Tobias Philipp XSLT, Proseminar Janis Voigtländer

January 29th

Time Student Topic Supervisor
09:20 Toni Dietze Streamed validation, Full Seminar Matthias Büchse
10:20 Enrico Rockstroh Regular expression type checking, Full Seminar Janis Voigtländer
12:15 Marco Geißler Combinators for bidirectional programs, Full Seminar Janis Voigtländer
13:15 Ralf Müller Syntactic bidirectionalization, Full Seminar Janis Voigtländer

Last Updated: February 2009, Janis Voigtlaender.