XML type checking with macro tree transducers.

Sebastian Maneth, Alexandru Berlea, Thomas Perst, Helmut Seidl

Browse the full PODS paper archive.