XCentric: Logic programming for XML processing

International Conference on Information and Knowledge Management, Proceedings

Volumn , Issue , 2007, Pages 1-8

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

^a UNIVERSITY OF PORTO   (Portugal)

Author keywords

Logic programming; XML processing

Indexed keywords

ARBITRARY NUMBER; COMPACT REPRESENTATION; DEGREE OF FLEXIBILITY; DESIGN ISSUES; DISTINCTIVE FEATURES; FUNCTORS; NEW FORMS; PROGRAMMING LANGUAGE; STANDARD TYPE; UNIFICATION ALGORITHMS; XML PROCESSING;

KNOWLEDGE MANAGEMENT; LINGUISTICS; LOGIC PROGRAMMING; MARKUP LANGUAGES; MATHEMATICAL OPERATORS; QUERY LANGUAGES; TECHNICAL PRESENTATIONS;

XML;

EID: 77951138379     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1316902.1316904     Document Type: Conference Paper

References (32)

1. V́eronique Benzaken, Giuseppe Castagna, and Alain Frisch. CDuce: an XML-centric general-purpose language. In Proceedings of the eighth ACM SIGPLAN Int. Conference on Functional Programming, Uppsala, Sweden, 2003.
2. F. Bry and S. Schaffert. The XML Query Language Xcerpt: Design Principles, Examples, and Semantics. In 2nd Annual International Workshop Web and Databases, volume 2593 of LNCS, 2002.
3. F. Bry and S. Schaffert. Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification. In International Conference on Logic Programming (ICLP), volume 2401 of LNCS, 2002.
4. Jorge Coelho and Ḿario Florido. Type-based static and dynamic website verification (to appear). In ICIW'07. IEEE Computer Society, 2007.
5. Jorge Coelho and Ḿario Florido. Xcentric: A logic-programming language for xml processing (sofwatre demonstration). In PLAN-X, pages 93-94, 2007.
6. Jorge Coelho and Ḿario Florido. Type-based XML Processing in Logic Programming. In Practical Aspects of Declarative Languages, volume 2562 of LNCS, 2003.
7. Jorge Coelho and Ḿario Florido. CLP(Flex): Constraint Logic Programming Applied to XML Processing. In Ontologies, Databases and Applications of SEmantics (ODBASE), volume 3291 of LNCS. Springer Verlag, 2004.
8. Jorge Coelho and Ḿario Florido. Unification with flexible arity symbols: a typed approach. In Informal proceedings of the 20th International Workshop on Unification (UNIF'06), Seattle, USA, 2006.
9. Jorge Coelho and Ḿario Florido. VeriFLog: Constraint Logic Programming Applied to Verification of Website Content. In Int. Workshop XML Research and Applications (XRA'06), volume 3842 of LNCS. Springer-Verlag, 2006.
10. A. Colmerauer. An introduction to Prolog III. Communications of the ACM, 33(7):69-90, 1990.
11. P. Dart and J. Zobel. A regular type language for logic programs. In Frank Pfenning, editor, Types in Logic Programming. The MIT Press, 1992.
12. Ḿario Florido and Lúis Damas. Types as theories. In Proc. of post-conference workshop on Proofs and Types, Joint International Conference and Symposium on Logic Programming, 1992.
13. Thom W. Fruhwirth, Ehud Y. Shapiro, Moshe Y. Vardi, and Eyal Yardeni. Logic programs as types for logic programs. In LICS, pages 300-309, 1991.
14. Georg Gottlob and Christoph Koch. Monadic datalog and the expressive power of languages for web information extraction. J. ACM, 51(1):74-113, 2004.
15. Haruo Hosoya and Benjamin Pierce. XDuce: A typed XML processing language. In Third Int. Workshop on the Web and Databases, volume 1997 of LNCS, 2000.
16. J. Jaffar. Minimal and complete word unification. Journal of the ACM, 37(1):47-85, 1990.
17. Shinya Kawanaka and Haruo Hosoya. biXid: a bidirectional transformation language for XML. In John H. Reppy and Julia L. Lawall, editors, ICFP, pages 201-214. ACM, 2006.
18. Temur Kutsia. Unification with sequence variables and flexible arity symbols and its extension with pattern-terms. In Joint AISC'2002 - Calculemus'2002 conference, LNAI, 2002.
19. Temur Kutsia. Context sequence matching for xml. In Proceedings of the 1th Int. Workshop on Automated Specification and Verification of Web Sites, 2005.
20. Temur Kutsia and Mircea Marin. Can context sequence matching be used for querying xml? In Laurent Vigneron, editor, Proceedings of the 19th Int. Workshop on Unification (UNIF'05), pages 77-92, Nara, Japan, 22 April 2005.
21. J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, second edition, 1987.
22. G. S. Makanin. The problem of solvability of equations in a free semigroup. Math. Sbornik USSR, 103:147-236, 1977.
23. Pillow: Programming in (Constraint) Logic Languages on the Web. http://clip.dia.fi.upm.es/Software/pillow/pillow.html, 2001.
24. SWI Prolog. http://www.swi-prolog.org/.
25. XML Schema. http://www.w3.org/XML/Schema/, 2000.
26. J.W. Thatcher. Tree automata: An informal survey. Prentice-Hall, 1973.
27. Extensible Markup Language (XML). http://www.w3.org/XML/, 2003.
28. XQuery Use Cases. http://www.w3.org/TR/xquery-use-cases/, 2005.
29. XSL Transformations (XSLT). http://www.w3.org/TR/xslt/, 1999.
30. Xtatic. http://www.cis.upenn.edu/~bcpierce/xtatic/, 2004.
31. E. Yardeni and E. Shapiro. A type system for logic programs. In The Journal of Logic Programming, 1990.
32. Justin Zobel. Derivation of polymorphic types for prolog programs. In Proc. of the 1987 International Conference on Logic Programming. MIT Press, 1987.