Статическая проверка типов для языка Jolie

Язык статьиАнглийский

Автор(ы)

де Карвальо Даниэль
Маццара Мануэль
Мингела Богдан Андреевич
Сафина Лариса Раисовна
Трошков Николай Евгеньевич
Чичигин Александр Дмитриевич

Аннотация

В статье представлен подход к реализации статической проверки типов для динамически-типизированного языка Jolie.

Ключевые слова

Jolie
проверка типов
верификация
микросервисы

DOI10.31144/si.2307-6410.2017.n10.p77-88

УДК004.052.42

Номер № 10, 2017

Страницы77-88

Файл mingelatroshkovmazzarasafinatchitchigincarvalho.pdf (481.05 КБ)

Библиографическая ссылка

де Карвальо Д., Маццара М., Мингела Б.А., Сафина Л.Р., Трошков Н.Е., Чичигин А.Д. Статическая проверка типов для языка Jolie // Системная информатика, 2017. – № 10. – С. 77-88. – DOI: https://doi.org/10.31144/si.2307-6410.2017.n10.p77-88.