График выхода журналов
  • №4 Декабрь 2018
    Статьи принимаются до: 10 Ноября 2018
  • №1 Март 2019
    Статьи принимаются до: 10 Февраля 2019
  • №2 Июнь 2019
    Статьи принимаются до: 10 Мая 2019
  • №3 Сентябрь 2019
    Статьи принимаются до: 10 Июля 2019
Подкопаев Антон Викторович
  • Место работы
    Санкт-Петербургский государственный университет
  • 199034, Россия, Санкт-Петербург, Университетская наб., д. 7-9.

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

Программное обеспечение вычислительных, телекоммуникационных и управляющих систем
  • Год: 2017
  • Том: 10
  • Выпуск: 4
  • 34
  • 180
  • Страницы: 51-69

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

Программное обеспечение вычислительных, телекоммуникационных и управляющих систем
  • Год: 2015
  • Выпуск: 4
  • 554
  • 928
  • Страницы: 37-50

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

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2011
  • Выпуск: 4
  • 0
  • 91
  • Страницы: 142-145

Реляционное программирование с мемоизацией и отрицанием

Программное обеспечение вычислительных, телекоммуникационных и управляющих систем
  • Год: 2018
  • Том: 11
  • Выпуск: 2
  • 0
  • 106
  • Страницы: 35-46