Type-Based Static and Dynamic Website Verification

12 years 3 months ago
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.
Jorge Coelho, Mário Florido
Added 17 Aug 2010
Updated 17 Aug 2010
Type Conference
Year 2007
Where ICIW
Authors Jorge Coelho, Mário Florido
Comments (0)