Acrobat X Files

Home > Programming > XML Programming

Typebased XML Processing in Logic Programming

Sort Desciption:

logic programming for XML processing. We transform XML documents ... logic programming language specialized for XML processing. 3 . One of the nice ...

Content Inside:

Typebased XML Processing in Logic ProgrammingPage 1Typebased XML Processing in LogicProgrammingJorge Coelho1and Mario Florido21Instituto Superior de Engenharia do PortoPorto Portugaljcoelho@dei.isep.ipp.pt2University of Porto DCCFC & LIACCPorto Portugalamf@ncc.up.ptAbstract. In this paper we propose a typebased framework for usinglogic programming for XML processing. We transform XML documentsinto terms and DTDs into regular types. We implemented a standardtype inference algorithm for logic programs and use the types corresponding to the DTDs as additional type declarations for logic programsfor XML processing. Due to the correctness of the type inference thismakes it possible to use logic programs as an implicitly typed processinglanguage for XML with static type (in this case DTDs) validation. Asfar as we know this is the first work adding type validation at compiletime to the use of logic programming for XML processing.1 IntroductionIn this paper we present the design and implementation of a statically typedlogic programming language specialized for XML processing3. One of the nicefeatures of XML is the static typing of documents provided by DTDs or XMLSchema. Some programming languages go beyond types for documents and provide static type checking for programs for XML processing. One example is thefunctional language XDuce 9].In this paper we present an implicitly typed version of pure Prolog and applyit to the domain of XML processing. The approach used is the following: we translate XML elements and documents to Prolog terms whose syntax isspecified by a DTD; we translate DTDs to regular types 6]. Regular types are the most used typelanguage for typing logic programs 13 24 23 7 6 8 11]; we use implicitly typed pure Prolog clauses as rules for expressing elementand data transformations;3The framework described in this paper is available on the WWW athttp://www.dei.isep.ipp.pt/jcoelho/xprol og/Page 2 we implemented a type inference module which given a predic ...

Source: www.dei.isep.ipp.pt

 

Related Files

XML from a Programming Language Perspective

Filed under: Programming and XML Programming
programming lanugages and type systems? XML from a Programming Language .... The second is to make it into a programming language. XML from a ...

XML programming in Java technology Part 1

Filed under: Programming and XML Programming
the pleasures of XML programming is the availability of opensource ...... I will cover all of these in an advanced XML programming tutorial here at ...

Programming in o:XML

Filed under: Programming and XML Programming
This is a programming guide for the o:XML programming language. ... XML and some programming experience preferably with an objectoriented language. ...

Programming XML

Filed under: Programming and XML Programming
Programming XML. XML Excursion 2001. Introduction. Who am I? Director of Product Technology SoftQuad Software Inc. CoDesigner XMetaL. Chair W3C DOM WG ...

THE DUALITY OF XML MARKUP AND PROGRAMMING NOTATION

Filed under: Programming and XML Programming
The XML notation is subsumed in the programming language. The XML ..... In this paper we have explored the duality of XML and programming language notation ...