УДК 004.4'2
Вольфенгаген Вячеслав Эрнстович,Косиков Сергей Владимирович,Слепцов Игорь Олегович,,,,
СИМУЛЯЦИЯ СИСТЕМЫ ТИПОВ СРЕДСТВАМИ ДИНАМИЧЕСКИ ТИПИЗИРОВАННОГО ЯЗЫКА
Wolfengagen V.E., Kosikov S.V., Slieptsov I.O.
A TYPE SYSTEM SIMULATION BY A DYNAMICALLY TYPED LANGUAGE
Аннотация. В работе рассматривается проблема обеспечения функциональной безопасности программы путём устранения ошибок типизации. Описывается классификация ошибок по месту их возникновения и обнаружения и классификация средств обнаружения ошибок по этапу, на котором
Ключевые слова: системы типов, отладка
Abstract. This article is devoted to a problem of functional safety. An error classification based on the place they are detected is given. Error detection tools are classified by the stage they are applied at. The approach to increase safety by simulation and usi
Keywords: type systems, debug