УДК 004.4'2
Вольфенгаген Вячеслав Эрнстович,Косиков Сергей Владимирович,Слепцов Игорь Олегович,,,,
ПОДХОД К СИМУЛЯЦИИ СИСТЕМЫ ТИПОВ СРЕДСТВАМИ ДИНАМИЧЕСКИ ТИПИЗИРОВАННОГО ЯЗЫКА
Wolfengagen V.E., Kosikov S.V., Slieptsov I.O.
AN APPROACH TO SIMULATE A TYPE SYSTEM BY A DYNAMICALLY TYPED LANGUAGE
Аннотация. В работе рассматривается проблема обеспечения функциональной безопасности программы, написанных на динамически типизированных языках, путём устранения ошибок типизации. Предлагается подход к повышению безопасности за счёт симуляции и использования системы
Ключевые слова: системы типов, отладка
Abstract. This article is devoted to a problem of functional safety of programs on dynamic languages. The approach to increase safety by simulation and using a type system in dynamically typed languages is described. The tool to detect and locate the type errors i
Keywords: type systems, debug