| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
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.
Cited literature [18 references]
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
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)