VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content. Web site semantic content verification can be a tedious and error prone task. In this paper we propose a framework for syntactic validation and semantic verification based on the logic programming language XCentric. The high declarative model of this language based on a new unification algorithm along with an interface to semistructured data provides an elegant framework for semantic error detection. The result is an easy to follow model to improve website quality and management.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 2 articles )

Showing results 1 to 2 of 2.
Sorted by year (citations)

  1. Kutsia, Temur; Levy, Jordi; Villaret, Mateu: On the relation between context and sequence unification (2010)
  2. Kutsia, Temur: Flat matching (2008)