Type-Based Static and Dynamic Website Verification

Abstract

Maintaining large Web sites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification and automatic correction of Web sites based on the logic programming language XCentric. Here we purpose a new approach conciliating the highly declarative model of XCentric with compile and run time verification techniques, mainly based on type checking to automatically repair and audit Web sites. The result is an easy to follow model to improve and audit Web site content.