VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content

@inproceedings{Coelho2006VeriFLogAC,
  title={VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content},
  author={Jorge Coelho and M{\'a}rio Florido},
  booktitle={APWeb Workshops},
  year={2006}
}
Web site semantic content veri cation can be a tedious and error prone task. In this paper we propose a framework for syntactic validation and semantic veri cation based on the logic programming language XCentric. The high declarative model of this language based on a new uni cation 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. 
Highly Cited
This paper has 22 citations. REVIEW CITATIONS
14 Citations
11 References
Similar Papers

Similar Papers

Loading similar papers…