Особенности статической проверки и вывода типов в языках программирования на примере компилирующего интерпретатора
Published • Feb 3, 2020
NobleIDNI7P51W87R28S25
Authors:
В.Е. Драч – к.т.н., доцент, кафедра «Конструирование и производство электронной аппаратуры», Калужский филиал МГТУ им. Н.Э. Баумана E-mail: [email removed] А.В. Кузьминский – студент, кафедра «Информационные системы и сети», Калужский филиал МГТУ им. Н.Э. Баумана E-mail: [email removed] А.В. Родионов – к.т.н., доцент, кафедра «Информационные системы и сети», Калужский филиал МГТУ им. Н.Э. Баумана E-mail: [email removed] .
Abstract
Постановка проблемы. Современные языки программирования классифицируются, в частности, по критерию типизации. Выделяют статические и динамические языки. При этом статическая система типов распространена среди компилируемых языков за счет ресурсоемкости реализаций. Цель. Предложить «легкий» алгоритм ...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!