Type-based XML processing in logic programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2562, Issue , 2003, Pages 273-285

  Coelho, Jorge ^a   Florido, Mário ^b  

^a INSTITUTO SUPERIOR DE ENGENHARIA DO PORTO   (Portugal)

^b UNIVERSITY OF PORTO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; INFERENCE ENGINES; XML;

COMPILE TIME; LOGIC PROGRAMS; STANDARD TYPE; TYPE INFERENCES; XML PROCESSING;

LOGIC PROGRAMMING;

EID: 33846115452     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36388-2_19     Document Type: Article

References (25)

1. Noga Alon, Tova Milo, Frank Neven, Dan Suciu, and Victor Vianu. XML with data values: Typechecking revisited. In PODS, 2001.
2. H. Boley. Relationships between logic programming and XML. In Proc. 14th Workshop Logische Programmierung, 2000.
3. Fran ois Bry and Norbert Eisinger. Data modeling with markup languages: A logic programming perspective. In 15th Workshop on Logic Programming and Constraint Systems, WLP 2000, Berlin, 2000.
4. Fran ois Bry and Sebastian Schaffert. Towards a declarative query and transformation language for XML and semistructured data: simulation unification. In Proc. of the 2002 International Conference on Logic Programming, 2002.
5. D. Cabeza and M. Hermenegildo. Distributed WWW Programming using Ciao-Prolog and the PiLLoW Library. Theory and Practice of Logic Programming, 1(3):251-282, May 2001.
6. P. Dart and J. Zobel. A regular type language for logic programs. In Frank Pfenning, editor, Types in Logic Programming. The MIT Press, 1992.
7. M. Florido and L. Damas. Types as theories. In Proc. of post-conference workshop on Proofs and Types, Joint International Conference and Symposium on Logic Programming, 1992.
8. J.P. Gallagher and D.A. de Waal. Fast and precise regular approximation of logic programs. In Proceedings of the Eleventh International Conference on Logic Programming, 1993.
9. Haruo Hosoya and Benjamin Pierce. Xduce: A typed XML processing language. In Third International Workshop on the Web and Databases (WebDB2000), volume 1997 of Lecture Notes in Computer Science, 2000.
10. J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, second edition, 1987.
11. Lunjin Lu. On Dart-Zobel algorithm for testing regular type inclusion. In SIGPLAN Notices Volume 36, 2001.
12. T. Milo, D. Suciu, and V. Vianu. Typechecking for XML transformers. In ACM Symposium on Principles of Database Systems, 2000.
13. P. Mishra. Towards a theory of types in Prolog. In Proc. of the 1984 International Symposium on Logic Programming, 1984.
14. SWI Prolog. http://www.swi-prolog.org/.
15. XML Schema. http://www.w3.org/XML/Schema/, 2000.
16. Leon Sterling and Ehud Shapiro. The Art of Prolog, 2nd edition. The MIT Press, 1994.
17. Dan Suciu. Typechecking for semistructured data. In International Workshop on Database Programming, 2001.
18. J.W. Thatcher. Tree automata: An informal survey. Prentice-Hall, 1973.
19. The Mercury Programming Language. http://www.cs.mu.oz.au/research/mercury/.
20. Malcom Wallace and Colin Runciman. Haskell and XML: Generic combinators or type-based translation? In International Conference on Functional Programming, 1999.
21. Semantic Web. http://www.w3.org/2001/sw/, 1999.
22. Extensible Markup Language (XML). http://www.w3.org/XML/.
23. E. Yardeni and E. Shapiro. A type system for logic programs. In The Journal of Logic Programming, 1990.
24. Justin Zobel. Derivation of polymorphic types for prolog programs. In Proc. of the 1987 International Conference on Logic Programming, pages 817-838, 1987.
25. Justin Zobel. Analysis of Logic Programs. PhD thesis, Department of Computer Science, University of Melbourne, 1990.