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