Skip to Main content Skip to Navigation
Conference papers

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
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.
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download
Contributor : Luigi Liquori Connect in order to contact the contributor
Submitted on : Tuesday, May 5, 2015 - 3:45:47 PM
Last modification on : Tuesday, December 7, 2021 - 4:10:09 PM
Long-term archiving on: : Monday, September 14, 2015 - 7:17:05 PM


Files produced by the author(s)




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⟩



Les métriques sont temporairement indisponibles