VeriFLog: A constraint logic programming approach to verification of website content

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

Volumn 3842 LNCS, Issue , 2006, Pages 148-156

  Coelho, Jorge ^a   Florido, Mario ^a  

^a UNIVERSITY OF PORTO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTIVE ALGORITHMS; ASSOCIATIVE STORAGE; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; SEMANTICS; SYNTACTICS; WEBSITES;

CONTENT VERIFICATION; ERROR PRONE TASKS; SEMISTRUCTURED DATA; WEBSITE QUALITY;

LOGIC PROGRAMMING;

EID: 33745644505     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11610496_20     Document Type: Conference Paper

References (13)

1. M. Alpuente, D. Ballis, and M. Falaschi. A Rewriting-based Framework for Web Sites Verification. In Electronic Notes in Theoretical Computer Science, pages 41-61. Elsevier Science, 2005.
2. 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.
3. Jorge Coelho and Mario 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.
4. Jorge Coelho and Mário Florido. CLP(Flex): Constraint logic programming applied to XML processing. Technical Report 06, DCC-FC, LIACC. University of Porto, (available from www.ncc.up.pt/~jcoelho/clpflex.pdf), July 2004.
5. Thierry Despeyroux. Practical semantic analysis of web sites and documents. In Stuart I. Feldman, Mike Uretsky, Marc Najork, and Craig E. Wills, editors, WWW, pages 685-693. ACM, 2004.
6. Monika Rauch Henzinger, Thomas A. Henzinger, and Peter W. Kopke. Computing simulations on finite and infinite graphs. In FOCS, pages 453-462, 1995.
7. Joxan Jaffar and Michael J. Maher. Constraint logic programming: A survey. Journal of Logic Programming, 19/20:503-581, 1994.
8. T. Kutsia. Unification with sequence variables and flexible arity symbols and its extension with pattern-terms. In Joint AICS'2002 - Calculemus'2002 conference, LNAI, 2002.
9. Temur Kutsia. Context sequence matching for xml. In Proceedings of the 1th International Workshop on Automated Specification and Verification of Web Sites, pages 103-119, Valencia, Spain, 14-15 March 2005.
10. J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, second edition, 1987.
11. SWI Prolog, http://www.swi-prolog.org/.
12. Frank van Harmelen and Jos van der Meer. Webmaster: Knowledge-based verification of web-pages. In Ibrahim F. Imam, Yves Kodratoff, Ayman El-Dessouki, and Moonis Ali, editors, IEA/AIE, volume 1611 of Lecture Notes in Computer Science, pages 256-265. Springer, 1999.
13. Extensible Markup Language (XML). http://www.w3.org/XML/, 2003.