On the Analysis of Cascading Style Sheets - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

On the Analysis of Cascading Style Sheets

Nabil Layaïda
Vincent Quint
  • Function : Author
  • PersonId : 833612


Developing and maintaining cascading style sheets (CSS) is an important issue to web developers as they suffer from the lack of rigorous methods. Most existing means rely on validators that check syntactic rules, and on runtime debuggers that check the behavior of a CSS style sheet on a particular document instance. However, the aim of most style sheets is to be applied to an entire set of documents, usually defined by some schema. To this end, a CSS style sheet is usually written w.r.t. a given schema. While usual debugging tools help reducing the number of bugs, they do not ultimately allow to prove properties over the whole set of documents to which the style sheet is intended to be applied. We propose a novel approach to fill this lack. We introduce ideas borrowed from the fields of logic and compile-time verification for the analysis of CSS style sheets. We present an original tool based on recent advances in tree logics. The tool is capable of statically detecting a wide range of errors (such as empty CSS selectors and semantically equivalent selectors), as well as proving properties related to sets of documents (such as coverage of styling information), in the presence or absence of schema information. This new tool can be used in addition to existing runtime debuggers to ensure a higher level of quality of CSS style sheets.
Fichier principal
Vignette du fichier
WWW2012.pdf (477.28 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00690899 , version 1 (24-04-2012)



Pierre Genevès, Nabil Layaïda, Vincent Quint. On the Analysis of Cascading Style Sheets. WWW '12 - 21st international conference on World Wide Web - 2012, Apr 2012, Lyon, France. pp.809-818, ⟨10.1145/2187836.2187946⟩. ⟨hal-00690899⟩
202 View
243 Download



Gmail Facebook X LinkedIn More