A Constraint-Based Specification for Box Layout in CSS2
A Constraint-Based Specification for Box Layout in CSS2
复制标题
CSS2 中基于约束的框布局规范
DOI：
10.1088/1742-6596/2586/1/012056
复制
发表时间：
1998
期刊：
影响因子：
--
通讯作者：
Brian A. Michalowski
中科院分区：
文献类型：
--
作者：
Brian A. Michalowski
层叠样式表提供了一种灵活的机制来管理网页的外观。层叠样式表第2级（CSS2）是对原始CSS1规范的增强，使Web页面设计人员能够对Web页面的外观进行额外的控制。然而，CSS2规范是用英语编写的，这就可能存在歧义或不一致。我们提出了一个正式的CSS2规范的子集，使用约束层次结构，以帮助确保潜在的问题，在规范被捕获和纠正。我们还对正式化进程发表了评论。
Cascading Style Sheets provide a exible mechanism for governing the appearance of Web pages. Cascading Style Sheets Level 2 (CSS2) are an enhancement to the original CSS1 speci cation, giving Web page designers additional control over the appearance of Web pages. However, the CSS2 speci cation is written in English, leaving open the possibility of ambiguity or inconsistency. We present a formalization of a subset of the CSS2 speci cation using constraints hierarchies to help ensure that potential problems in the speci cation are caught and corrected. We also comment on the formalization process.