Для цитирования:

КОСАРЕВ Д.С., ЛОЗОВ П.А., БУЛЫЧЕВ Д.Ю. Декларативный синтез графических интерфейсов пользователя с помощью реляционного решателя ограничений. Труды Института системного программирования РАН. 2024;36(5):47-66. https://doi.org/10.15514/ISPRAS-2024-36(5)-4

For citation:

KOSAREV D.S., LOZOV P.A., BOULYTCHEV D.Yu. Declarative GUI Layout Synthesis with Relational Constraint Solvers. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2024;36(5):47-66. (In Russ.) https://doi.org/10.15514/ISPRAS-2024-36(5)-4