A Language for Verification and Manipulation of Web Documents - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

A Language for Verification and Manipulation of Web Documents

Résumé

In this paper we develop the language theory underpinning the logical framework PLF. This language features lambda abstraction with patterns and application via pattern-matching. Reductions are allowed in patterns. The framework is particularly suited as a metalanguage for encoding rewriting logics and logical systems where proof terms have a special syntactic constraints, as in term rewriting systems, and rule-based languages. PLF is a conservative extension of the well-known Edinburgh Logical Framework LF. Because of sophisticated pattern matching facilities PLF is suitable for verification and manipulation of HXML documents.
Fichier principal
Vignette du fichier
2006-wwv-05.pdf (254.83 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01148880 , version 1 (05-05-2015)

Identifiants

Citer

Luigi Liquori, Furio Honsell, Rekha Redamalla. A Language for Verification and Manipulation of Web Documents. Proceedings of the International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), May 2005, Valencia, Spain. pp.67-78, ⟨10.1016/j.entcs.2005.12.046⟩. ⟨hal-01148880⟩
159 Consultations
69 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More