More Web Proxy on the site http://driver.im/

research-article

On the analysis of cascading style sheets

Authors:

Pierre Geneves,

Vincent QuintAuthors Info & Claims

WWW '12: Proceedings of the 21st international conference on World Wide Web

Pages 809 - 818

https://doi.org/10.1145/2187836.2187946

Published: 16 April 2012 Publication History

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.

References

[1]

J. J. Barton and J. Odvarko. Dynamic and graphical web page breakpoints. In Proceedings of the 19th international conference on World wide web, WWW '10, pages 81--90, New York, NY, USA, 2010. ACM.

Digital Library

[2]

B. Bos, T. Çelik, I. Hickson, and H. W. Lie. Cascading Style Sheets Level 2 Revision 1 (CSS 2.1) Specification. W3C recommendation, World Wide Web Consortium, June 2011.

[3]

T. Çelik, E. J. Etemad, D. Glazman, I. Hickson, P. Linss, and J. Williams. Selectors level 3. W3C recommendation, World Wide Web Consortium, September 2011.

[4]

K. J. Eberlein, R. D. Anderson, and G. Joseph. Darwin information typing architecture (DITA) version 1.2. Oasis standard, OASIS, December 2010.

[5]

P. Genevès. Logics for XML. PhD thesis, Institut National Polytechnique de Grenoble, December 2006. http://www.pierresoft.com/pierre.geneves/phd.htm.

[6]

P. Genevès, N. Layaïda, and A. Schmitt. Efficient static analysis of XML paths and types. In PLDI '07: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 342--351, 2007.

Digital Library

[7]

P. Genevès, N. Layaïda, and A. Schmitt. Efficient static analysis of XML paths and types (extended version). Research Report 6590, INRIA, July 2008.

[8]

M. Keller and M. Nussbaumer. Cascading style sheets: a novel approach towards productive styling with today's standards. In Proceedings of the 18th international conference on World wide web, WWW '09, pages 1161--1162, New York, NY, USA, 2009. ACM.

Digital Library

[9]

M. Keller and M. Nussbaumer. CSS code quality: A metric for abstractness. In Seventh International Conference on the Quality of Information and Communications Technology (QUATIC), pages 116--121, Oct. 2010.

Digital Library

[10]

H. W. Lie. Cascading style sheets. Phd thesis, Faculty of Mathematics and Natural Sciences, University of Oslo, 2005.

[11]

P. M. Marden and E. V. Munson. Today's style sheet standards: the great vision blinded. Computer, 32(11):123--125, nov 1999.

Digital Library

[12]

V. Quint and I. Vatton. Editing with style. In Proceedings of the 2007 ACM symposium on Document engineering, DocEng '07, pages 151--160, New York, NY, USA, 2007. ACM.

Digital Library

[13]

M. Serrano. HSS: a compiler for cascading style sheets. In T. Kutsia, W. Schreiner, and M. Fernández, editors, PPDP, pages 109--118. ACM, 2010.

Digital Library

[14]

L. M. N. Walsh. DocBook: The Definitive Guide. O'Reilly & Associates, 1999.

Digital Library

[15]

H. Werntges. A CSS for docbook, November 2011. http://www.cs.hs-rm.de/ werntges/proj/wysiwyg-dbk01.html.

Cited By

Gross CShaffer DRevelle M(2024)Hypermedia Controls: Feral to FormalProceedings of the 35th ACM Conference on Hypertext and Social Media10.1145/3648188.3675127(52-64)Online publication date: 10-Sep-2024
https://dl.acm.org/doi/10.1145/3648188.3675127
Sahu SKumar RSahoo SKumar BMohanta P(2024)Machine Learning‐Enabled Integrated Information Platform for Educational UniversitiesOptimized Computational Intelligence Driven Decision‐Making10.1002/9781394242566.ch2(29-47)Online publication date: 8-Jul-2024
https://doi.org/10.1002/9781394242566.ch2
Ferrero MVignolo LVanrell SMartinez-Rau LChelotti JGalli JGiovanini LRufiner H(2023)A full end-to-end deep approach for detecting and classifying jaw movements from acoustic signals in grazing cattleEngineering Applications of Artificial Intelligence10.1016/j.engappai.2023.106016121:COnline publication date: 1-May-2023
https://dl.acm.org/doi/10.1016/j.engappai.2023.106016
Show More Cited By

Index Terms

On the analysis of cascading style sheets

Recommendations

Cascading style sheets: a novel approach towards productive styling with today's standards
WWW '09: Proceedings of the 18th international conference on World wide web

In this paper we present an approach of generating Cascading Style Sheet documents automatically if the desired effect on the content elements is specified. While a Web user agent resolves the CSS rules and computes their effect, our approach handles ...
Constraint cascading style sheets for the Web
UIST '99: Proceedings of the 12th annual ACM symposium on User interface software and technology

Cascading Style Sheets have been introduced by the W3C as a mechanism for controlling the appearance of HTML documents. In this paper, we demonstrate how constraints provide a powerful unifying formalism for declaratively understanding and specifying ...
Automated refactoring for size reduction of CSS style sheets
DocEng '14: Proceedings of the 2014 ACM symposium on Document engineering

Cascading Style Sheets (CSS) is a standard language for stylizing and formatting web documents. Its role in web user experience becomes increasingly important. However, CSS files tend to be designed from a result-driven point of view, without much ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

WWW '12: Proceedings of the 21st international conference on World Wide Web

April 2012

1078 pages

ISBN:9781450312295

DOI:10.1145/2187836

General Chairs:
Alain Mille
Université de Lyon, France
,
Fabien Gandon
INRIA, France
,
Jacques Misselis
HP, France
,
Program Chairs:
Michael Rabinovich
Case Western Reserve University, USA
,
Steffen Staab
University of Koblenz-Landau, Germany

Copyright © 2012 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Univ. de Lyon: Universite de Lyon

In-Cooperation

SIGWEB: ACM Special Interest Group on Hypertext, Hypermedia, and Web

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 16 April 2012

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

WWW 2012

Sponsor:

Univ. de Lyon

WWW 2012: 21st World Wide Web Conference 2012

April 16 - 20, 2012

Lyon, France

Acceptance Rates

Overall Acceptance Rate 1,899 of 8,196 submissions, 23%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

46
Total Citations
View Citations
561
Total Downloads

Downloads (Last 12 months)24
Downloads (Last 6 weeks)2

Reflects downloads up to 11 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Gross CShaffer DRevelle M(2024)Hypermedia Controls: Feral to FormalProceedings of the 35th ACM Conference on Hypertext and Social Media10.1145/3648188.3675127(52-64)Online publication date: 10-Sep-2024
https://dl.acm.org/doi/10.1145/3648188.3675127
Sahu SKumar RSahoo SKumar BMohanta P(2024)Machine Learning‐Enabled Integrated Information Platform for Educational UniversitiesOptimized Computational Intelligence Driven Decision‐Making10.1002/9781394242566.ch2(29-47)Online publication date: 8-Jul-2024
https://doi.org/10.1002/9781394242566.ch2
Ferrero MVignolo LVanrell SMartinez-Rau LChelotti JGalli JGiovanini LRufiner H(2023)A full end-to-end deep approach for detecting and classifying jaw movements from acoustic signals in grazing cattleEngineering Applications of Artificial Intelligence10.1016/j.engappai.2023.106016121:COnline publication date: 1-May-2023
https://dl.acm.org/doi/10.1016/j.engappai.2023.106016
SUZUKI NOKADA TKWON Y(2021)On CSS Unsatisfiability Problem in the Presense of DTDsIEICE Transactions on Information and Systems10.1587/transinf.2021EDP7002E104.D:6(801-815)Online publication date: 1-Jun-2021
https://doi.org/10.1587/transinf.2021EDP7002
Krishnan AGanesh AGayathri SKoushik SVarsha Nair MNarayanan G(2020)Development of Social Media User Interface Portal for Maintaining Students PortfolioInventive Communication and Computational Technologies10.1007/978-981-15-7345-3_65(757-764)Online publication date: 25-Sep-2020
https://doi.org/10.1007/978-981-15-7345-3_65
Suzuki NOkada TKwon YCheung ANguyễn K(2019)Detecting unsatisfiable CSS rules in the presence of DTDsProceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages10.1145/3315507.3330195(18-29)Online publication date: 23-Jun-2019
https://dl.acm.org/doi/10.1145/3315507.3330195
Hague MLin AHong C(2019)CSS Minification via Constraint SolvingACM Transactions on Programming Languages and Systems10.1145/331033741:2(1-76)Online publication date: 19-Jun-2019
https://dl.acm.org/doi/10.1145/3310337
Lim SHibschman JZhang HO'Rourke EBaudisch PSchmidt AWilson A(2018)PlyProceedings of the 31st Annual ACM Symposium on User Interface Software and Technology10.1145/3242587.3242660(991-1002)Online publication date: 11-Oct-2018
https://dl.acm.org/doi/10.1145/3242587.3242660
Kaluvakuri SVadiyala V(2016)Harnessing the Potential of CSS: An Exhaustive Reference for Web StylingEngineering International10.18034/ei.v4i2.6824:2(95-110)Online publication date: 31-Dec-2016
https://doi.org/10.18034/ei.v4i2.682
Goncharenko BZaytsev VStorm TBalland EVarro D(2016)Language design and implementation for the domain of coding conventionsProceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering10.1145/2997364.2997386(90-104)Online publication date: 20-Oct-2016
https://dl.acm.org/doi/10.1145/2997364.2997386
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents