Programming by manipulation for layout-Reference-Cited by-同舟云学术

Programming by manipulation for layout

Published:2014-10-05 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 27th annual ACM symposium on User interface software and technology
language:
Short-container-title:

Author:

Hottelier Thibaud¹,Bodik Ras¹,Ryokai Kimiko¹

Affiliation:

1. University of California, Berkeley, Berkeley, CA, USA

Funder

Division of Computing and Communication Foundations

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2642918.2647378

Reference26 articles.

1. Badros G. J. Borning A. Marriott K. and Stuckey P. Constraint cascading style sheets for the web. UIST (1999) 73--82. 10.1145/320719.322588 Badros G. J. Borning A. Marriott K. and Stuckey P. Constraint cascading style sheets for the web. UIST (1999) 73--82. 10.1145/320719.322588

2. Badros G. J. Borning A. and Stuckey P. J. The cassowary linear arithmetic constraint solving algorithm. CHI (2001) 267--306. 10.1145/504704.504705 Badros G. J. Borning A. and Stuckey P. J. The cassowary linear arithmetic constraint solving algorithm. CHI (2001) 267--306. 10.1145/504704.504705

3. Barrett C. Stump A. and Tinelli C. The Satisfiability Modulo Theories Library. www.SMT-LIB.org 2010. Barrett C. Stump A. and Tinelli C. The Satisfiability Modulo Theories Library. www.SMT-LIB.org 2010.

4. Bostock M. Ogievetsky V. and Heer J. D3 data-driven documents. IEEE Trans. on Visualization and Computer Graphics (2011) 2301--2309. 10.1109/TVCG.2011.185 Bostock M. Ogievetsky V. and Heer J. D3 data-driven documents. IEEE Trans. on Visualization and Computer Graphics (2011) 2301--2309. 10.1109/TVCG.2011.185

5. Converting an existing user interface to use constraints

Cited by 23 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. FabHacks: Transform Everyday Objects into Home Hacks Leveraging a Solver-aided DSL;Proceedings of the 9th ACM Symposium on Computational Fabrication;2024-07-07

2. DocDancer: Authoring Ultra-Responsive Documents with Layout Generation;2023 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC);2023-10-03

3. Exploring the Learnability of Program Synthesizers by Novice Programmers;The 35th Annual ACM Symposium on User Interface Software and Technology;2022-10-28

4. Differentiable 3D CAD Programs for Bidirectional Editing;Computer Graphics Forum;2022-05

5. Synthesis of web layouts from examples;Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2021-08-18