CSS Minification via Constraint Solving

Abstract

Minification is a widely-accepted technique which aims at reducing the size of the code transmitted over the web. This paper concerns the problem of semantic-preserving minification of Cascading Style Sheets (CSS) -the de facto language for styling web documents -based on merging similar rules.The cascading nature of CSS makes the semantics of CSS files sensitive to the ordering of rules in the file. To automatically identify rule-merging opportunities that best minimise file size, we reduce the rule-merging problem to a problem concerning "CSS-graphs", i.e., node-weighted bipartite graphs with a dependency ordering on the edges, where weights capture the number of characters.Constraint solving plays a key role in our approach. Transforming a CSS file into a CSS-graph problem requires us to extract the dependency ordering on the edges (an NP-hard problem), which requires us to solve the selector intersection problem. To this end, we provide the first full formalisation of CSS3 selectors (the most stable version of CSS) and reduce their selector intersection problem to satisfiability of quantifier-free integer linear arithmetic, for which highly-optimised SMT-solvers are available. To solve the above NP-hard graph optimisation problem, we show how Max-SAT solvers can be effectively employed. We have implemented our rule-merging algorithm, and tested it against approximately 70 real-world examples (including examples from each of the top 20 most popular websites). We also used our benchmarks to compare our tool against six well-known minifiers (which implement other optimisations). Our experiments suggest that our tool produced larger savings. A substantially better minification rate was shown when our tool is used together with these minifiers.

A Longitudinal Analysis of Bloated Java Dependencies

“…Other studies have focused on eliminating bloat in source code [33], binary shared libraries [1], highly configurable programs [15], or containers [24]. Other works have focused on improving the debloat process through various optimizations techniques [2,3,11,31,35]. As far as we know, we are the first to conduct a longitudinal study to analyze software bloat.…”

The Evaluation of The Technical Quality of Web Sites њith Contents in Arabic and Serbian Languages

“…Th e combination of CSS optimization and compression is referred to as code minifi cation. Th e idea is that the original source code footprint can be minifi ed (minimized) to increase the speed of delivery over the network and the time of processing, parsing and applying to the loaded page [18].…”