A rewriting-based framework for Web sites verification

Electronic Notes in Theoretical Computer Science

Volumn 124, Issue 1, 2005, Pages 41-61

  Alpuente, M ^a   Ballis, D ^b   Falaschi, M ^b  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

^b UNIVERSITY OF UDINE   (Italy)

Author keywords

Formal Web site verification; Rewriting; Simulation; Specification languages

Indexed keywords

AUTOMATION; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; ERRORS; PROGRAM DOCUMENTATION; SEMANTICS; SYNTACTICS;

FORMAL WEB SITE VERIFICATION; PARTIAL REWRITING; REWRITING-BASED FRAMEWORK; SEMISTRUCTURED DOCUMENTS;

WEBSITES;

EID: 13944278890     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.07.014     Document Type: Conference Paper

References (20)

1. S. Abiteboul, P. Buneman, and D. Suciu Data on the Web. From Relations to Semistructured Data and XML 2000 Morgan Kaufmann
2. M. Alpuente, D. Ballis, and M. Falaschi. A Rewriting-based Framework for Web Sites Verification. Technical Report 4, DSIC, UPV, 2004. Available at URL: http://www.dsic.upv.es/users/elp/papers.html
3. I.D. Baxter, F. Ricca, and P. Tonella Web Application Transformations based on Rewrite Rules Information and Software Technology 44 13 2002
4. E. Bertino, M. Mesiti, and G. Guerrin A Matching Algorithm for Measuring the Structural Similarity between an XML Document and a DTD and its Applications Information Systems 29 1 2004 23 46
5. M. Bezem TeReSe, Term Rewriting Systems, chapter Mathematical background (Appendix A) 2003 Cambridge University Press
6. F. Bry, and S. Schaffert Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification Proc. of the Int'l Conference on Logic Programming (ICLP'02) LNCS volume 2401 2002 Springer-Verlag
7. F. Bry and S. Sebastian Schaffert. The XML Query Language Xcerpt: Design Principles, Examples, and Semantics. Technical report, 2002. Available at: http://www.xcerpt.org
8. P. Buneman, S.B. Davidson, G.G. Hillebrand, and D. Suciu A Query Language and Optimization Techniques for Unstructured Data Proc. of ACM SIGMOD Int'l Conference on Management of Data (ICMD'96) 1996
9. M. Clavel, S. Eker, P. Lincoln, and J. Meseguer Principles of Maude Proc. of 1st Int'l Workshop on Rewriting Logic and its Applications (RWLW'96) ENTCS 15 1996 65 89 Elsevier http://www.elsevier.com/locate/entcs/volume15.html
10. A. Cortesi, A. Dovier, E. Quintarelli, and L. Tanca Operational and abstract semantics of a graphical query language Theoretical Computer Science 275 2002 521 560
11. N. Dershowitz, and D. Plaisted Rewriting Handbook of Automated Reasoning 1 2001 535 610
12. T. Despeyroux, and B. Trousse Semantic Verification of Web Sites Using Natural Semantics Proc. of 6th Conference on Content-Based Multimedia Information Access (RIAO'00) 2000
13. M. Fernandez, D. Florescu, A. Levy, and D. Suciu Verifying Integrity Constraints on Web Site Proc. of Sixteenth International Joint Conference on Artificial Intelligence (IJCAI'99) 1999 Morgan Kaufmann 614 619 volume 2
14. M.F. Fernandez, and D. Suciu Optimizing regular path expressions using graph schemas Proc. of Int'l Conference on Data Engineering (ICDE'98) 1998 14 23
15. M.R. Henzinger, T.A. Henzinger, and P.W. Kopke. Computing simulations on finite and infinite graphs. In IEEE Symposium on Foundations of Computer Science, pages 453-462, 1995
16. H. Hosoya, and B.C. Pierce Regular Expression Pattern Matching for XML Proc. of 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPLì01) ACM SIGPLAN Notices 36 3 2001 ACM Press
17. C. Kirchner, Z. Qian, P.K. Singh, and J. Stuber. Xemantics: a Rewriting Calculus-Based Semantics of XSLT. Rapport de recherche A01-R-386, LORIA, 2001
18. PLT. DrScheme web site. Available at: http://www.drscheme.org
19. World Wide Web Consortium (W3C). HyperText Markup Language (HTML) 4.01, 1997. Available at: http://www.w3.org
20. World Wide Web Consortium (W3C). Extensible Markup Language (XML) 1.0, second edition, 1999. Available at: http://www.w3.org