A Language for Verification and Manipulation of Web Documents - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2006

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.
Fichier principal
Vignette du fichier
2006-wwv-05.pdf (254.83 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01148880 , version 1 (05-05-2015)

Identifiers

Cite

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⟩
159 View
70 Download

Altmetric

Share

Gmail Facebook X LinkedIn More