XML is rapidly becoming one of the most adopted standard for information representation and interchange over the Internet. With the proliferation of mobile devices of communication such as palmtop computers in recent years, there has been growing numbers of web applications that generate tremendous amount of XML data transmitted via the Internet. We therefore need to investigate an effective me...

ML is a type system extending ML with first-class polymorphism as in system F. The main goal of the present paper is to show that ML enjoys strong normalization, i.e., it has no infinite reduction paths. The proof of this result is achieved in several steps. We first focus on xML, the Church-style version of ML, and show that it can be translated into a calculus of coercions: terms are mapped i...

ML is a type system extending ML with first-class polymorphism as in system F. The main goal of the present paper is to show that ML enjoys strong normalization, i.e., it has no infinite reduction paths. The proof of this result is achieved in several steps. We first focus on xML, the Church-style version of ML, and show that it can be translated into a calculus of coercions: terms are mapped i...

A collaborative environmental eScience project produces a broad range of data, notable as much for its diversity, in source and format, as its quantity. We find that extensible markup language (XML) and associated technologies are invaluable in managing this deluge of data. We describe Fo X, a toolkit for allowing Fortran codes to read and write XML, thu...

S. Adler R. Cochrane J. F. Morar A. Spector The Extensible Markup Language (XML) is an open standard for creating domainand industry-specific markup vocabularies. XML has become the predominant mechanism for electronic data interchange between information systems and can be described as a universally applicable, durable ‘‘Code of Integration.’’ As we celebrate its tenth anniversary, it is appro...

s in XML Anfragen Abbildung Drei Methoden zur Speicherung von Abstract Informationen Ubersetzung von Informationen im XML Format in eine objektrelatio nale Datenbank In diesem Abschnitt wird der Versuch dargestellt die als semistrukturierte Daten dargestellten Abstract strukturiert zu speichern Das klingt zun achst paradox da man damit die Besonderheiten der semistruk turierten Daten nicht ber ...