Сборники тезисов • Информационные и интеллектуальные системы и технологии • Программная инженерия и компьютерное моделирование
Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2018.
Пример заполнения выходных данных:
Коренев И.Ю., Лаздин А.В. Трансляция многопоточных программ на языке Go в CSPM // Сборник тезисов докладов конгресса молодых ученых. Электронное издание [Электронный ресурс]. - Режим доступа: ссылка на страницу с тезисом, своб.
Трансляция многопоточных программ на языке Go в CSPM
УДК: 004.4′4
Аннотация:
Go — это свободно распространяемый язык программирования общего назначения. По заявлению его разработчиков, дизайн языка испытал влияние формальной теории для описания и анализа параллельных систем Communicating Sequential Processes (CSP), предложенной Тони Хоаром. В данной работе описан процесс трансляции исходного кода с Go в машиночитаемый диалект CSP CSPM с целью его дальнейшего анализа с использованием инструмента FDR.