RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Модел. и анализ информ. систем:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Модел. и анализ информ. систем, 2017, том 24, номер 6, страницы 704–717 (Mi mais594)  

Jolie Static Type Checker: a prototype

[Прототип статического тайп-чекера для языка программирования Jolie]

D. de Carvalhoa, M. Mazzaraa, B. Mingelaa, L. Safinaa, A. Tchitchiginb, N. Troshkova

a Innopolis University, 1 Universitetskaya ul., Innopolis, Respublika Tatarstan, 420 000 Russia
b Typeable.io LLC, Russia

Аннотация: Статическая верификация исходного кода программы является важным элементом надежности программного обеспечения. Под верификацией предполагается доказательство соответствия поведения программы ее спецификации. Во многих языках программирования используется как статическая, так и динамическая проверка типов. Таким образом, статический тайп-чекер старается проверить все возможное во время компиляции, а динамический проверяет оставшееся. На данный момент язык программирования Jolie имеет динамическую систему типов, что позволяет обнаруживать ошибки только во время выполнения программы. Статическая система типов для языка была формально определена на бумаге, но пока не реализована. В этой статье мы представим прототип статического тайп-чекера для языка программирования Jolie (JolieStaticTypeChecker или JSTC), основанный на SMT-решателе. Мы опишем базовую теорию, необходимую для реализации тайп-чекера, саму реализацию, а также процесс статического анализа программы. Статья публикуется в авторской редакции.

Ключевые слова: микросервисы, статический анализ кода, язык программирования Jolie.

DOI: https://doi.org/10.18255/1818-1015-2017-6-704-717

Полный текст: PDF файл (969 kB)
Список литературы: PDF файл   HTML файл

Реферативные базы данных:

Тип публикации: Статья
УДК: 519.686.4
Поступила в редакцию: 08.09.2017
Язык публикации: английский

Образец цитирования: D. de Carvalho, M. Mazzara, B. Mingela, L. Safina, A. Tchitchigin, N. Troshkov, “Jolie Static Type Checker: a prototype”, Модел. и анализ информ. систем, 24:6 (2017), 704–717

Цитирование в формате AMSBIB
\RBibitem{De MazMin17}
\by D.~de Carvalho, M.~Mazzara, B.~Mingela, L.~Safina, A.~Tchitchigin, N.~Troshkov
\paper Jolie Static Type Checker: a prototype
\jour Модел. и анализ информ. систем
\yr 2017
\vol 24
\issue 6
\pages 704--717
\mathnet{http://mi.mathnet.ru/mais594}
\crossref{https://doi.org/10.18255/1818-1015-2017-6-704-717}
\elib{http://elibrary.ru/item.asp?id=30730610}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/mais594
  • http://mi.mathnet.ru/rus/mais/v24/i6/p704

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Моделирование и анализ информационных систем
    Просмотров:
    Эта страница:62
    Полный текст:132
    Литература:4

     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019