A Language for Verification and Manipulation of Web Documents

Luigi Liquori 1, 2 Furio Honsell 3 Rekha Redamalla 3, 4
1 MASCOTTE - Algorithms, simulation, combinatorics and optimization for telecommunications
CRISAM - Inria Sophia Antipolis - Méditerranée , COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
2 LOGNET - Logical Networks: Self-organizing Overlay Networks and Programmable Overlay Computing Systems
CRISAM - Inria Sophia Antipolis - Méditerranée
3 DIMI - Dipartimento di Matematica e Informatica - Universita Udine
4 Birla Science Center
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.
Keywords : Edinburgh Logical Framework LF Pattern matching Lambda calculus Rewriting Logics
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

I3S | INRIA | UNICE

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>

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de
la notice

318

Téléchargements du document

45

Contact


archive-ouverte@inria.fr