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

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

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


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




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

Моделирование и анализ информационных систем, 2017, том 24, номер 6, страницы 704–717
DOI: https://doi.org/10.18255/1818-1015-2017-6-704-717 (Mi mais594) 		 
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

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
PDF полного текста (969 kB) Список цитирования (1)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.18255/1818-1015-2017-6-704-717
Аннотация: Статическая верификация исходного кода программы является важным элементом надежности программного обеспечения. Под верификацией предполагается доказательство соответствия поведения программы ее спецификации. Во многих языках программирования используется как статическая, так и динамическая проверка типов. Таким образом, статический тайп-чекер старается проверить все возможное во время компиляции, а динамический проверяет оставшееся. На данный момент язык программирования Jolie имеет динамическую систему типов, что позволяет обнаруживать ошибки только во время выполнения программы. Статическая система типов для языка была формально определена на бумаге, но пока не реализована. В этой статье мы представим прототип статического тайп-чекера для языка программирования Jolie (JolieStaticTypeChecker или JSTC), основанный на SMT-решателе. Мы опишем базовую теорию, необходимую для реализации тайп-чекера, саму реализацию, а также процесс статического анализа программы. Статья публикуется в авторской редакции.
Ключевые слова: микросервисы, статический анализ кода, язык программирования Jolie.
Поступила в редакцию: 08.09.2017
Реферативные базы данных:
Тип публикации: Статья
УДК: 519.686.4
Язык публикации: английский
Образец цитирования: 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{https://elibrary.ru/item.asp?id=30730610}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mais594
  • https://www.mathnet.ru/rus/mais/v24/i6/p704
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Моделирование и анализ информационных систем
    Статистика просмотров:
    Страница аннотации:166
    PDF полного текста:408
    Список литературы:31
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024