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

Article

Free access

Constraint cascading style sheets for the Web

Authors:

Greg J. Badros,

Peter StuckeyAuthors Info & Claims

UIST '99: Proceedings of the 12th annual ACM symposium on User interface software and technology

Pages 73 - 82

https://doi.org/10.1145/320719.322588

Published: 07 November 1999 Publication History

Abstract

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 style sheets for web documents. With constraints we can naturally and declaratively specify complex behavior such as inheritance of properties and cascading of conflicting style rules. We give a detailed description of a constraint-based style sheet model, CCSS, which is compatible with virtually all of the CSS 2.0 specification. It allows more flexible specification of layout, and also allows the designer to provide multiple layouts that better meet the desires of the user and environmental restrictions. We also describe a prototype extension of the Amaya browser that demonstrates the feasibility of CCSS.

References

[1]

G. Badros and A. Borning. The Cassowary linear arithmetic constraint solving algorithm: Interface and implementation. Technical Report UW-CSE-98-06-04, University of Washington, Seattle, Washington, June 1998.

[2]

G. Badros and M. Stachowiak. Scwm--The Scheme Constraints Window Manager. Web page, 1997-1999. http ://scwm.mit.edu/.

[3]

A. Borning, B. Freeman-Benson, and M. Wilson. Constraint hierarchies. Lisp and Symbolic Computation, 5(3):223-270, September 1992.

Digital Library

[4]

A. Borning, K. Marriott, P. Stuckey, and Y. Xiao. Solving linear arithmetic constraints for user interface applications. In Proceedings of the 10th ACM Symposium on User Interface Software and Technology, pages 87-96, 1997.

Digital Library

[5]

A. Borning, R. Lin, and K. Marriott. Constraints for the web. In Proceedings of 1997 ACM Multimedia Conference, pages 173-182, 1997.

Digital Library

[6]

B. Bos, H. Lie, C. Lilley, and I. Jacobs. Cascading style sheets, level 2. W3C Working Draft, January 1998. http://www, w3.org/TR/WD-css2/.

[7]

B. Bos, D. Raggett, and H. Lie. Frame-based layout via style sheets. W3C Working Draft. http://www, w3.org/ TR/WD-layout.

[8]

W3 Consortium. Amaya web browser software. Web page, October 1998. http://www, w3.org/Amaya.

[9]

W3 Consortium. HTML 4.0 specification. Technical report, W3 Consortium, 1998. http://www, w3.org/TR/ REC-html40.

[10]

S. Furman and S. Isaacs. Positioning HTML elements with cascading style sheets. W3C Working Draft. http://www, w 3. org/TR/WD-po sitioning.

[11]

M. Harada, A. Witkin, and D. Baraff. Interactive physically-based manipulation of discrete/continuous models. In SIGGRAPH '95 Conference Proceedings, pages 199-208, Los Angeles, August 1995. ACM.

Digital Library

[12]

R. Lin, K. Marriott, and P. Stuckey. Flexible font-size specification in Web documents. In Proceedings of the 22 Australasian Computer Science Conference, Auckland, New Zealand, January 1999. Springer-Verlag.

[13]

P. Marden, Jr. and E. Munson. PSL: An alternate approach to style sheet languages for the world wide web. Journal of Universal Computer Science, 4(10), 1998. http ://www. c s. uwm. edu/- multimedia.

[14]

K. Marriott and P. Stuckey. Programming with Constraints: An Introduction. The MIT Press, 1998.

Digital Library

[15]

B. Myers, D. Giuse, R. Dannenberg, B. Vander Zanden, D. Kosbie, E. Pervin, A. Mickish, and P. Marchal. Garnet: Comprehensive support for graphical highly interactive user interfaces. IEEE Computer, November 1990.

Digital Library

[16]

B. Myers, R. McDaniel, R. Miller, A. Ferrency, A. Faulring, B. Kyle, A. Mickish, A. Klimovitski, and P. Doane. The Amulet environment: New models for effective user interface software development. IEEE Transactions on Software Engineering, 23(6):347-365, June 1997.

Digital Library

[17]

I. Sutherland. Sketchpad: A man-machine graphical communication system. In Proceedings of the Spring Joint Computer Conference, pages 329-346. IFIPS, 1963.

Digital Library

[18]

C. van Wyk. A high-level language for specifying pictures. ACM Transactions on Graphics, 1 (2): 163-182, April 1982.

Digital Library

Cited By

Brandenburger JJanneck M(2024)Consideration of people’s design preferences for the development of adaptive user interfacesi-com10.1515/icom-2024-002923:3(321-334)Online publication date: 16-Sep-2024
https://doi.org/10.1515/icom-2024-0029
Liu JChen YAtkinson EFeng YBodik R(2023)Conflict-Driven Synthesis for Layout EnginesProceedings of the ACM on Programming Languages10.1145/35912467:PLDI(638-659)Online publication date: 6-Jun-2023
https://dl.acm.org/doi/10.1145/3591246
Chen YLiu JFeng YBodik RFalsafi BFerdman MLu SWenisch T(2022)Tree traversal synthesis using domain-specific symbolic compilationProceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems10.1145/3503222.3507751(1030-1042)Online publication date: 28-Feb-2022
https://dl.acm.org/doi/10.1145/3503222.3507751
Show More Cited By

Index Terms

Constraint cascading style sheets for the Web
1. Applied computing
  1. Document management and text processing
    1. Document management
      1. Text editing
2. Information systems
  1. Information retrieval
  2. Information storage systems

Recommendations

On the analysis of cascading style sheets
WWW '12: Proceedings of the 21st international conference on World Wide Web

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 ...
The portrait of a common HTML web page
DocEng '06: Proceedings of the 2006 ACM symposium on Document engineering

Web pages are not purely text, nor are they solely HTML. This paper surveys HTML web pages; not only on textual content, but with an emphasis on higher order visual features and supplementary technology. Using a crawler with an in-house developed ...
Cascading Style Sheets Specification: Level 1

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

UIST '99: Proceedings of the 12th annual ACM symposium on User interface software and technology

November 1999

224 pages

ISBN:1581130759

DOI:10.1145/320719

Chairmen:
Brad Vander Zanden
Univ. of Tennessee
,
Joe Marks
MERL

Copyright © 1999 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

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 07 November 1999

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

UIST99

Sponsor:

UIST99: Twelfth Annual Symposium on User Interface Software and Technology

November 7 - 10, 1999

North Carolina, Asheville, USA

Acceptance Rates

Overall Acceptance Rate 561 of 2,567 submissions, 22%

Upcoming Conference

UIST '25

Sponsor:
sigchi
sigchi

The 38th Annual ACM Symposium on User Interface Software and Technology

September 28 - October 1, 2025

Busan , Republic of Korea

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

56
Total Citations
View Citations
1,597
Total Downloads

Downloads (Last 12 months)172
Downloads (Last 6 weeks)22

Reflects downloads up to 20 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Brandenburger JJanneck M(2024)Consideration of people’s design preferences for the development of adaptive user interfacesi-com10.1515/icom-2024-002923:3(321-334)Online publication date: 16-Sep-2024
https://doi.org/10.1515/icom-2024-0029
Liu JChen YAtkinson EFeng YBodik R(2023)Conflict-Driven Synthesis for Layout EnginesProceedings of the ACM on Programming Languages10.1145/35912467:PLDI(638-659)Online publication date: 6-Jun-2023
https://dl.acm.org/doi/10.1145/3591246
Chen YLiu JFeng YBodik RFalsafi BFerdman MLu SWenisch T(2022)Tree traversal synthesis using domain-specific symbolic compilationProceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems10.1145/3503222.3507751(1030-1042)Online publication date: 28-Feb-2022
https://dl.acm.org/doi/10.1145/3503222.3507751
Seginer YVosse THarari GKolodny U(2020)Query-based object-oriented programming: a declarative web of objectsACM SIGPLAN Notices10.1145/3393673.327694953:8(64-75)Online publication date: 6-Apr-2020
https://dl.acm.org/doi/10.1145/3393673.3276949
Amorim Gdos Santos JMuchaluat-Saade D(2020)Providing adjustable and dynamic spatial layouts for multimedia applications with STyLeMultimedia Tools and Applications10.1007/s11042-020-09204-xOnline publication date: 9-Jul-2020
https://doi.org/10.1007/s11042-020-09204-x
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
Sharif HSrivastava PHuzaifa MKotsifakou MJoshi KSarita YZhao NAdve VMisailovic SAdve S(2019)ApproxHPVM: a portable compiler IR for accuracy-aware optimizationsProceedings of the ACM on Programming Languages10.1145/33606123:OOPSLA(1-30)Online publication date: 10-Oct-2019
https://dl.acm.org/doi/10.1145/3360612
Sergey INagaraj VJohannsen JKumar ATrunov AHao K(2019)Safer smart contract programming with ScillaProceedings of the ACM on Programming Languages10.1145/33606113:OOPSLA(1-30)Online publication date: 10-Oct-2019
https://dl.acm.org/doi/10.1145/3360611
Goel AVitek J(2019)On the design, implementation, and use of laziness in RProceedings of the ACM on Programming Languages10.1145/33605793:OOPSLA(1-27)Online publication date: 10-Oct-2019
https://dl.acm.org/doi/10.1145/3360579
Luan SYang DBarnaby CSen KChandra S(2019)Aroma: code recommendation via structural code searchProceedings of the ACM on Programming Languages10.1145/33605783:OOPSLA(1-28)Online publication date: 10-Oct-2019
https://dl.acm.org/doi/10.1145/3360578
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

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

Media

Figures

Other

Tables

View Table of Contents