Thibaud Hottelier, Rastislav Bodík
Synthesis of layout engines from relational constraints
OOPSLA, 2015.
@inproceedings{OOPSLA-2015-HottelierB, author = "Thibaud Hottelier and Rastislav Bodík", booktitle = "{Proceedings of the 30th Conference on Object-Oriented Programming, Systems, Languages and Applications}", doi = "10.1145/2814270.2814291", isbn = "978-1-4503-3689-5", pages = "74--88", publisher = "{ACM}", title = "{Synthesis of layout engines from relational constraints}", year = 2015, }