| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4951422 | Journal of Logical and Algebraic Methods in Programming | 2017 | 33 Pages |
Abstract
Our approach helps to describe constraint-based layouts correctly and to make layout editing robust. We apply the proposed algebra to two real constraint-based systems, which illustrate how it can be used to support sound layout creation and modification.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Clemens Zeidler, Gerald Weber, Alex Gavryushkin, Christof Lutteroth,