Type-based static and dynamic website verification

Second International Conference on Internet and Web Applications and Services, ICIW'07

Volumn , Issue , 2007, Pages

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

^a UNIVERSITY OF PORTO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; LOGIC PROGRAMMING; SEMANTICS; VERIFICATION;

SEMANTIC VERIFICATION;

WEBSITES;

EID: 34548730303     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICIW.2007.67     Document Type: Conference Paper

References (17)

1. M. Alpuente, D. Ballis, and M. Falaschi. A Rewriting-based Framework for Web Sites Verification. In ENTCS, pages 41-61. Elsevier Science, 2005.
2. M. Alpuente, D. Ballis, M. Falaschi, and D. Romero. A semi-automatic methodology for repairing faultyweb sites. sefm, 0:31-40, 2006.
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, volume 2401 of LNCS, 2002.
4. J. Coelho and M. 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.
5. J. Coelho and M. 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.
6. J. Coelho and M. Florido. Unification with flexible arity symbols: a typed approach. In Informal proceedings of the 20th International Workshop on Unification (UNIF'06), Seattle, USA, 2006.
7. J. Coelho and M. 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.
8. J. Coelho and M. Florido. Type-based static and dynamic website verification. Technical report, DCCFC, LIACC. University of Porto, (available from www.ncc.up.pt/~jcoelho/veriflog/VeriFLog.pdf), 2007.
9. T. Despeyroux. Practical semantic analysis of web sites and documents. In S. I. Feldman, M. Uretsky, M. Najork, and C. E. Wills, editors, WWW, pages 685-693. ACM, 2004.
10. M. R. Henzinger, T. A. Henzinger, and P. W. Kopke. Computing simulations on finite and infinite graphs. In FOCS, pages 453-462, 1995.
11. T. Kutsia. Unification with sequence variables and flexible arity symbols and its extension with pattern-terms. In Joint AISC'2002 - Calculemus'2002 conference, LNAI, 2002.
12. T. Kutsia. Context sequence matching for xml. In Proceedings of the 1th Int. Workshop on Automated Specification and Verification of Web Sites, 2005.
13. J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, second edition, 1987.
14. E. Mayol and E. Teniente. A survey of current methods for integrity constraint maintenance and view updating. In ER '99: Proceedings of the Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling, pages 62-73, London, UK, 1999. Springer.
15. S. Prolog, http://www.swi-prolog.org/.
16. F. van Harmelen and J. van der Meer. Webmaster: Knowledge-based verification of web-pages. In I. F. Imam, Y. Kodratoff, A. El-Dessouki, and M. Ali, editors, IEA/AIE, volume 1611 of Lecture Notes in Computer Science, pages 256-265. Springer, 1999.
17. E. M. L. (XML). http://www.w3.org/XML/, 2003.