A Language for Verification and Manipulation of Web Documents

Abstract : 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.
Type de document :
Communication dans un congrès
Proceedings of the International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), May 2005, Valencia, Spain. Elsevier, Electronic Notes in Theoretical Computer Science, 157 (issue 2), pp.67-78, 2006, <10.1016/j.entcs.2005.12.046>
Liste complète des métadonnées

https://hal.inria.fr/hal-01148880
Contributeur : Luigi Liquori <>
Soumis le : mardi 5 mai 2015 - 15:45:47
Dernière modification le : jeudi 9 juillet 2015 - 14:42:16
Document(s) archivé(s) le : lundi 14 septembre 2015 - 19:17:05

Fichier

2006-wwv-05.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

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. Elsevier, Electronic Notes in Theoretical Computer Science, 157 (issue 2), pp.67-78, 2006, <10.1016/j.entcs.2005.12.046>. <hal-01148880>

Partager

Métriques

Consultations de
la notice

299

Téléchargements du document

40