Logo des Repositoriums
 

Type checking in XOBE

Kurzanzeige
dc.contributor.authorKempa, Martin
dc.contributor.authorLinnemann, Volker
dc.contributor.editorWeikum, Gerhard
dc.contributor.editorSchöning, Harald
dc.contributor.editorRahm, Erhard
dc.date.accessioned2019-11-14T12:34:24Z
dc.date.available2019-11-14T12:34:24Z
dc.date.issued2003
dc.description.abstractXML is the upcoming standard for internet data. Java is the most important programming language for internet applications. Nevertheless, in today's languages and tools there is no smooth integration of Java and XML. The XML OBjEcts project (XOBE) at the University of Lübeck addresses this mismatch by defining XML objects by XML schemas and by making them to first-class data values. In XOBE, the distinction between XML documents and XML objects no longer exists. Instead, a running XOBE program works only with XML objects. XML documents in text form with explicit tags exist only for communicating with the outside world. This approach allows to check the validity of all XML objects within a program statically at compile time. This is accomplished by XML constructors. Previously generated XML objects are inserted in these constructors such that the validity can be checked at compile time. This paper concentrates on the type checking algorithm in XOBE which is used, among others, for checking the correctness of assignment statements involving XML objects. The type checking algorithm assures that all XML objects that can occur dynamically on the right hand side of an assignment statement are objects that can be assigned to the variable on the left hand side. This type checking is done statically without running the program. The algorithm is based upon regular hedge grammars and regular hedge expressions.en
dc.identifier.isbn3-88579-355-5
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/30055
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofBTW 2003 – Datenbanksysteme für Business, Technologie und Web, Tagungsband der 10. BTW Konferenz
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-26
dc.titleType checking in XOBEen
dc.typeText/Conference Paper
gi.citation.endPage246
gi.citation.publisherPlaceBonn
gi.citation.startPage227
gi.conference.date26.-28. Februar 2003
gi.conference.locationLeipzig
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild
Name:
GI-Proceedings.26-16.pdf
Größe:
215.08 KB
Format:
Adobe Portable Document Format
Herunterladen

Sammlungen

P026 - BTW 2003 – Datenbanksysteme für Business, Technologie und Web