Type-Based Static and Dynamic Website Verification

Abstract-- Maintaining large websites 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 websites 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 websites. The result is an easy to follow model to improve and audit website content.

• Type: Conference
• Year: 2007
• Where: ICIW
• Authors: Jorge Coelho, Mário Florido
• Keywords: ICIW 2007, Internet Technology, Logic Programming Language, Semantic Content, Semantic Verification