195251, Санкт-Петербург,
Политехническая ул., 29, НИК, к. В.3.17
+7 (812) 552-6216 (с 10 до 17.30 )
infocom@spbstu.ru

Подкопаев Антон Викторович

Подкопаев А.В., Коровянский А.Ю., Озерных И.С.

Языконезависимое форматирование текстов программ на основе сопоставления с образцом и синтаксических шаблонов

Опубликовано в разделе «Программное обеспечение вычислительных, телекоммуникационных и управляющих систем»

Рассмотрена проблема форматирования программных текстов. Предложен новый подход, позволяющий форматировать целевой код по образцу. Разработанное решение вычисляет оптимальное представление текста за полиномиальное время. В рамках апробации разработаны форматеры для языков Java и Haskell.

Просмотров: 821 Комментариев: 0

Подкопаев А.В., Лахав О., Вафеядис В.

О корректности компиляции подмножествa обещающей модели памяти в аксиоматическую модель ARMv8.3

Опубликовано в разделе «Программное обеспечение вычислительных, телекоммуникационных и управляющих систем»

«Обещающая» модель памяти является перспективным решением проблемы задания семантики многопоточности в контексте императивных языков программирования, таких как С/C++ и Java. Естественным требованием, которое ставится перед моделью памяти языка программирования, является наличие эффективной и корректной схемы компиляции для распространенных процессорных архитектур. Ранее для обещающей модели была показана корректность компиляции в архитектуры x86, Power и для операционной модели памяти ARMv8 POP. В статье приведено доказательство корректности компиляции в аксиоматическую модель ARMv8.3. В доказательстве использован новый метод обхода исполнений аксиоматических моделей памяти. Этот метод является более общим, чем использованные ранее подходы, и может использоваться в последующих доказательствах корректности компиляции из обещающей модели памяти.

Ссылка при цитировании: Подкопаев А.В., Лахав О., Вафеядис В. О корректности компиляции подмножествa обещающей модели памяти в аксиоматическую модель ARMv8.3 // Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. 2017. Т. 10. № 4. С. 51–69. DOI: 10.18721/JCSTCS.10405

Просмотров: 392 Комментариев: 0

Кузенкова А.С., Дерипаска А.О., Таран К.С., Подкопаев А.В., Литвинов Ю.В., Брыксин Т.А.

Средства быстрой разработки предметно-ориентированных решений в metacasе-средстве QREAL

Опубликовано в разделе «Конференция "Технологии Microsoft в теории и практике программирования"»

Изучено средство разработки визуальных предметно-ориентированных языков и инструментария поддержки для них. Приведено описание использования данного подхода на примере редактора программ для роботов Lego.

Просмотров: 1589 Комментариев: 0