On the Analysis of Cascading Style Sheets

Pierre Genevès 1, * Nabil Layaïda 1 Vincent Quint 1
* Auteur correspondant
1 WAM - Web, adaptation and multimedia
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : 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.
Type de document :
Communication dans un congrès
WWW '12 - 21st international conference on World Wide Web - 2012, Apr 2012, Lyon, France. pp.809-818, 2012, 〈http://dl.acm.org/citation.cfm?doid=2187836.2187946〉. 〈10.1145/2187836.2187946〉
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00690899
Contributeur : Vincent Quint <>
Soumis le : mardi 24 avril 2012 - 16:38:48
Dernière modification le : mercredi 29 novembre 2017 - 15:24:29
Document(s) archivé(s) le : jeudi 15 décembre 2016 - 00:31:54

Fichier

WWW2012.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

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, 2012, 〈http://dl.acm.org/citation.cfm?doid=2187836.2187946〉. 〈10.1145/2187836.2187946〉. 〈hal-00690899〉

Partager

Métriques

Consultations de la notice

246

Téléchargements de fichiers

201