Sprachen und Werkzeuge zur Generierung von HTML- und XML-Dokumenten

Summary.

Nowadays, contents of web pages are very often generated dynamically, for example by integrating the results of data base queries or by using up to date stock exchange data or weather data. Numerous languages exist for implementing these web applications. In this paper, some languages are considered which, at least in part, are concerned with the generation of HTML- or XML-Documents. It is shown that, besides being rather complicated, these languages allow to ”prove” the validity of the generated structures only at runtime. A proposal which is currently being developed in Lübeck allows to check the validity of the generated HTML- and XML-documents at compile time.