Средства статического анализа программ на функциональных языках с динамической типизацией

Галкина, Е.В.

Автор: Галкина Е.В.
Сборник: ПРОГРАММНЫЕ СИСТЕМЫ И ИНСТРУМЕНТЫ Тематический сборник № 19
Редакторы: Балашов Василий Викторович, Бахмуров Анатолий Геннадьевич, Большакова Елена Игоревна, Волканов Дмитрий Юрьевич, Глонина Алевтина Борисовна, Костенко Валерий Алексеевич, Смелянский Руслан Леонидович, Степанов Евгений Павлович
Том: 19
Год издания: 2019
Издательство: ООО "МАКС Пресс"
Местоположение издательства: Москва
Первая страница: 42
Последняя страница: 52
Аннотация: В работе рассматриваются методы статического анализа программ на функциональных языках с динамической типизацией, а именно Racket и Clojure. Выделяются два основных подхода: добавление в язык новых конструкций и использование внешних программных инструментов. В рамках первого подхода рассмотрены диалект Typed Racket и библиотека Typed Clojure, которые реализуют механизм постепенной типизации. Далее рассматриваются внешние программные инструменты, предназначенные для решения отдельных частных задач статического анализа кода на указанных языках.
Добавил в систему: Волканов Дмитрий Юрьевич

	ИСТИНА	Войти в систему Регистрация
	ИСТИНА ИНХС РАН
	Главная Поиск Статистика О проекте Помощь

ИСТИНА

ИСТИНА ИНХС РАН

Средства статического анализа программ на функциональных языках с динамической типизациейстатья

Прикрепленные файлы