Standard

Декларативный синтез графических интерфейсов пользователя с помощью реляционного решателя ограничений. / Косарев, Дмитрий Сергеевич; Лозов, Петр Алексеевич; Булычев, Дмитрий Юрьевич.

In: Труды института системного программирования РАН, Vol. 36, No. 5, 2024, p. 47-66.

Research output: Contribution to journal › Article › peer-review

Harvard

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

APA

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

Vancouver

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

Author

Косарев, Дмитрий Сергеевич ; Лозов, Петр Алексеевич ; Булычев, Дмитрий Юрьевич. / Декларативный синтез графических интерфейсов пользователя с помощью реляционного решателя ограничений. In: Труды института системного программирования РАН. 2024 ; Vol. 36, No. 5. pp. 47-66.

BibTeX

@article{ef0927f4d4d44a95bbbc9548dd1a8333,
title = "Декларативный синтез графических интерфейсов пользователя с помощью реляционного решателя ограничений",
keywords = "проектирование интерфейсов, синтез программ, программирование в ограничениях, реляционное программирование, встраиваемый язык miniKanren",
author = "Косарев, {Дмитрий Сергеевич} and Лозов, {Петр Алексеевич} and Булычев, {Дмитрий Юрьевич}",
year = "2024",
doi = "10.15514/ISPRAS-2024-36(5)-4",
language = "русский",
volume = "36",
pages = "47--66",
journal = "Труды института системного программирования РАН",
issn = "2079-8156",
publisher = "Институт системного программирования им. В.П.Иванникова РАН",
number = "5",

}

RIS

TY - JOUR

T1 - Декларативный синтез графических интерфейсов пользователя с помощью реляционного решателя ограничений

AU - Косарев, Дмитрий Сергеевич

AU - Лозов, Петр Алексеевич

AU - Булычев, Дмитрий Юрьевич

PY - 2024

Y1 - 2024

KW - проектирование интерфейсов

KW - синтез программ

KW - программирование в ограничениях

KW - реляционное программирование, встраиваемый язык miniKanren

U2 - 10.15514/ISPRAS-2024-36(5)-4

DO - 10.15514/ISPRAS-2024-36(5)-4

M3 - статья

VL - 36

SP - 47

EP - 66

JO - Труды института системного программирования РАН

JF - Труды института системного программирования РАН

SN - 2079-8156

IS - 5

ER -

ID: 138863798