Papers

Language Description

• Jorge Coelho and Mario Florido. XCentric: Logic Programming for XML Processing. To appear in 9th ACM International Workshop on Web Information and Data Management. ACM Press, 2007.

• Jorge Coelho and Mário Florido. XCentric: A Logic Programming Language for XML Processing. ACM SIGPLAN Workshop on Programming Language Technologies for XML (PLAN-X 2007), Nice, France, January 20, 2007.

• Jorge Coelho and Mário Florido. XCentric: A Logic Programming Language for XML. Technical Report, February 2006 pdf

Theoretical Foundations

• Jorge Coelho and Mário Florido. Unification with Flexible Arity Symbols: a Typed Approach. 20th International Workshop on Unification (UNIF'06), Seattle, USA, August 11, 2006.

• Jorge Coelho and Mário Florido. XML Processing and Logic Programming. XML Applications and Associated Technologies (XATA 2005), Braga, Portugal, 2005, pp 240-252, ISBN 972-99166-1-6. pdf

• Jorge Coelho and Mário Florido. CLP(Flex): Constraint Logic Programming Applied to XML Processing. On The Move to Meaningful Internet Systems - ODBASE, October 2004, © Springer Verlag (LNCS 3291) pdf

• Jorge Coelho and Mário Florido. CLP(Flex): Constraint Logic Programming Applied to XML Processing. Technical Report DCC-2004-6, July 2004 (short version appeared in proceedings of ODBASE 2004) pdf

Applications

• Jorge Coelho and Mário Florido. VeriFlog: Constraint Logic Programming Applied to Verification of Website Content. International Workshop in XML Research and Applications, Harbin, China 2006, Lecture Notes in Computer Science 3842 – Springer Verlag.

• Jorge Coelho and Mário Florido. Type-based Static and Dynamic Website Verification. In Proceedings of the 2nd International Conference on Internet and Web Applications and Services (ICIW'07), IEEE Computer Society Press, 2007.