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 , Laboratoire I3S - 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

Littérature citée [18 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01148880
Contributeur : Luigi Liquori <>
Soumis le : mardi 5 mai 2015 - 15:45:47
Dernière modification le : lundi 5 novembre 2018 - 15:36:03
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 | UNIV-COTEDAZUR

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

468

Téléchargements de fichiers

67

Contact


archive-ouverte@inria.fr