Anchoring modularity in HTML. - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2005

Anchoring modularity in HTML.


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.
Fichier principal
Vignette du fichier
KKS05.pdf (180.29 Ko) Télécharger le fichier

Dates and versions

inria-00000750 , version 1 (16-11-2005)


  • 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⟩
651 View
117 Download


Gmail Facebook X LinkedIn More