Synthesis of layout engines from relational constraints.

Thibaud Hottelier, Rastislav Bodk

Browse the full OOPSLA paper archive.