Linnemann, VolkerKempa, Martin2018-01-052018-01-0520022002https://dl.gi.de/handle/20.500.12116/10249Inhalte von Webseiten werden heute zu einem großen Teil beispielsweise mit Hilfe des Inhalts von Datenbanken oder aus aktuellen Daten wie Aktienkursen oder Wetterdaten dynamisch generiert. Es gibt eine Fülle von Sprachen für die Realisierung solcher Webanwendungen.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.compile-time validationHTMLHTML generatorsHTML-Generierungstatische ValidierungWeb ServicesWebanwendungenXMLXML generatorsXML-GenerierungText/Journal Article1432-122X