关键词：布局设计；布局引擎；可视化；编程
摘 要：This thesis introduces new techniques for specifying layout and generating efficient layout engines.First, we present a new programming methodology which addresses t he two central sources of bugs in layouts: ambiguities and conflicts. Then, we introduce a language of constraints in which we capture layout specifications formally. Finally, we show how to generate efficient layout engines automatically.