Виртуальная машина STAR VM и язык программирования Platinum

Краглик Игорь Дмитриевич

Аннотация


Актуальность темы исследования обусловлена высоким спросом на языки с надежными системами типов и высокой степенью асинхронности в современном промышленном программировании. Целью работы является разработка виртуальной машины STAR VM и языка программирования Platinum. Объектом исследования являются современные системы типов и виртуальные машины. Предметом исследования является фреймворк типов OutsideIn(X) применительно к императивной парадигме. Исследование проводилось с помощью таких методов как анализ, синтез, классификация, абстрагирование, сравнительно-сопоставительный метод. Автором была выдвинута гипотеза о применимости используемого в Haskell фреймворка систем типов OutsideIn(X) к императивной парадигме. Научная новизна данной работы заключается в применении математического фреймворка систем типов OutsideIn(X) к императивному языку на основе акторной модели. В результате работы был создан язык программирования Platinum и разработана виртуальная машина STAR VM.