DocBook: The Definitive Guide with CD-ROM
DocBook: The Definitive Guide with CD-ROM
Efficient static analysis of XML paths and types
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Proceedings of the 2007 ACM symposium on Document engineering
Cascading style sheets: a novel approach towards productive styling with today's standards
Proceedings of the 18th international conference on World wide web
Dynamic and graphical web page breakpoints
Proceedings of the 19th international conference on World wide web
HSS: a compiler for cascading style sheets
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
CSS Code Quality: A Metric for Abstractness; Or Why Humans Beat Machines in CSS Coding
QUATIC '10 Proceedings of the 2010 Seventh International Conference on the Quality of Information and Communications Technology
Proceedings of the 22nd international conference on World Wide Web companion
Compiling mockups to flexible UIs
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
SeeSS: seeing what i broke -- visualizing change impact of cascading style sheets (css)
Proceedings of the 26th annual ACM symposium on User interface software and technology
Hi-index | 0.00 |
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.