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 metadatas

Cited literature [18 references]  Display  Hide  Download

https://hal.inria.fr/hal-01148880
Contributor : Luigi Liquori <>
Submitted on : Tuesday, May 5, 2015 - 3:45:47 PM
Last modification on : Monday, October 12, 2020 - 10:30:27 AM
Long-term archiving on: : Monday, September 14, 2015 - 7:17:05 PM

File

2006-wwv-05.pdf
Files produced by the author(s)

Identifiers

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. pp.67-78, ⟨10.1016/j.entcs.2005.12.046⟩. ⟨hal-01148880⟩

Share

Metrics

Record views

536

Files downloads

260