Сборники тезисов • Информационные и интеллектуальные системы и технологии • Технологии программирования, искусственный интеллект, биоинформатика
Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2018.
Пример заполнения выходных данных:
Суворов Д.М., Шалыто А.А. Моделирование и визуализация выполнения многопоточных программ на Java в соответствии с формальной спецификацией // Сборник тезисов докладов конгресса молодых ученых. Электронное издание [Электронный ресурс]. - Режим доступа: ссылка на страницу с тезисом, своб.
Моделирование и визуализация выполнения многопоточных программ на Java в соответствии с формальной спецификацией
УДК: 004.05:004.272.26
Аннотация:
В связи с распространением параллельных вычислений все большее внимание со стороны науки получает анализ многопоточных алгоритмов. Трудность разработки и анализа таких алгоритмов обусловлена необходимостью опираться в доказательстве корректности на модель памяти языка. Дополнительная сложность заключается в том, что модель памяти, как часть семантики языка, описывается недостаточно формально, зачастую используются разные стили задания семантик для однопоточных и многопоточных программ. Поэтому важно иметь достаточно мощные инструменты для анализа и доказательства корректности программ. В данной работе производится ряд улучшений для одного из таких инструментов для языка программирования Java, реализующего ограниченную часть формальной семантики.