Jorge Coelho, Mário Florido  Home/Search
Context Related
| dei.isep.ipp.pt/~jcoelho/x...padl03.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dei.isep.ipp.pt/~jcoelho/pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we propose a type-based framework for using logic programming for XML processing. We transform XML documents into terms and DTDs into regular types. We implemented a standard type inference algorithm for logic programs and use the types corresponding to the DTDs as additional type declarations for logic programs for XML processing. Due to the correctness of the type inference this makes it possible to use logic programs as an implicitly typed processing language for XML... (Update)
Cited by: More
UUXML: A Type-Preserving XML Schema-Haskell Data Binding - Atanassow, Clarke, Jeuring (2004) (Correct)
CLP(Flex): Constraint Logic Programming Applied to XML.. - Coelho, Florido (2004) (Correct)
Scripting XML with Generic Haskell - Atanassow, Clarke, Jeuring (2003) (Correct)
Active bibliography (related documents): More All
0.6: An Emptiness Algorithm for Regular Types with Set Operators - Lu, Cleary (1998) (Correct)
0.5: Automatic Grading of Programming Exercises - Leal, Moreira (1998) (Correct)
0.2: Towards a Declarative Query and Transformation Language for.. - Bry, Schaffert (2002) (Correct)
Related documents from co-citation: More All
15: Available from httpwww (context) - DeRose, language et al. - 1999
6: XDuce: A Typed XML Processing Language - Hosoya, Pierce - 2000
5: A typed representation for HTML and XML documents in Haskell - Thiemann - 2002
BibTeX entry: (Update)
Jorge Coelho and M ario Florido. Type-based XML processing in logic programming. In PADL 2003. http://citeseer.ist.psu.edu/coelho03typebased.html More
@misc{ coelho03typebased,
author = "J. Coelho and M. Florido",
title = "Type-based XML processing in logic programming",
text = "Jorge Coelho and M ario Florido. Type-based XML processing in logic programming.
In PADL 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/coelho03typebased.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
440 The Art of Prolog (context) - Sterling, Shapiro - 1994
91 Towards a theory of types in Prolog (context) - Mishra - 1984
85 Xduce: A typed XML processing language - Hosoya, Pierce - 2000
80 Fast and precise regular approximation of logic programs - Gallagher, de Waal - 1993
71 Typechecking for XML transformers - Milo, Suciu et al. - 2000
61 Haskell and XML: Generic combinators or type-based translati.. - Wallace, Runciman - 1999
49 A type system for logic programs (context) - Yardeni, Shapiro - 1990
44 Tree automata: An informal survey (context) - Thatcher - 1973
34 A regular type language for logic programs (context) - Dart, Zobel - 1992
27 Towards a declarative query and transformation language for .. - Bry, Scha - 2002
25 Derivation of polymorphic types for prolog programs (context) - Zobel - 1987
20 XML with data values: Typechecking revisited - Alon, Milo et al. - 2001
6 Department of Computer Science (context) - Zobel, Logic et al. - 1990
6 Typechecking for semistructured data - Suciu - 2001
4 Relationships between logic programming and XML - Boley - 2000
2 On Dart-Zobel algorithm for testing regular type inclusion (context) - Lu - 2001
2 Types as theories (context) - Florido, Damas - 1992
1 Data modeling with markup languages: A logic programming per.. - Bry, Eisinger - 2000
1 Distributed WWW Programming using CiaoProlog and the PiLLoW .. - Cabeza, Hermenegildo - 2001
http://www.swi-prolog.org/
http://www.cs.mu.oz.au/research/mercury/
http://www.w3.org/XML/
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.dei.isep.ipp.pt/~jcoelho/pubs.html):
CLP(Flex): Constraint Logic Programming Applied to XML.. - Coelho, Florido (2004) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC