HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Anchoring modularity in HTML.

Claude Kirchner 1 Hélène Kirchner 1 Anderson Santana de Oliveira 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Modularity is a key feature at design, programming, proving, testing, and maintenance time, as well as a must for reusability. Most languages and systems provide built-in facilities for encapsulation, importation or parameterization. Nevertheless there exists also languages, like HTML, with poor support for modularization. A natural idea is therefore to provide generic modularization primitives. To extend an existing language with additional and possibly formal capabilities, the notion of \textit{anchorage} and \textit{Formal Island} has been introduced recently. TOM for example, provides generic matching, rewriting and strategy extensions to JAVA and~C. In this paper, we show on the HTML example, how to add modular features by anchoring modularization primitives in HTML. This allows one to write modular HTML descriptions, therefore facilitating their design, reusability, and maintenance, as well as providing an important step towards HTML validity checking.
Document type :
Conference papers
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download

Contributor : Anderson Santana de Oliveira Connect in order to contact the contributor
Submitted on : Wednesday, November 16, 2005 - 11:50:22 AM
Last modification on : Wednesday, April 6, 2022 - 3:48:04 PM
Long-term archiving on: : Friday, April 2, 2010 - 7:27:21 PM


  • HAL Id : inria-00000750, version 1



Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira. Anchoring modularity in HTML.. 1st International Workshop on Automated Specification and Verification of Web Sites - WWV'05, Mar 2005, Valencia/Spain, pp.139-151. ⟨inria-00000750⟩



Record views


Files downloads