A Language for Verification and Manipulation of Web Documents - Archive ouverte HAL Access content directly
Conference Papers Year : 2006

A Language for Verification and Manipulation of Web Documents

(1, 2) , (3) , (3, 4)
1
2
3
4

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

Altmetric

Share

Gmail Facebook Twitter LinkedIn More