|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Промежуточное представление программ для описания типов в терминах сопоставления значений с образцомстатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАКСтатья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 17 июня 2020 г.
- Авторы: Васенин В.А., Кривчиков М.А.
- Журнал: Программирование
- Номер: 1
- Год издания: 2020
- Первая страница: 63
- Последняя страница: 74
- DOI: 10.31857/S0132347420010070
- Аннотация: В статье предлагается промежуточное представление для компактного и обобщенного описания особенностей спецификации системы типов в языках программирования с динамической типизацией, использующее вычисления на уровне типов и построенное на основе сопоставления с образцом. Побудительным мотивом для разработанного авторами промежуточного представления стало промежуточное представление языка Рефал-2 "Язык сборки". Настоящее промежуточное представление относится не к байт-кодам, а к промежуточным представлениям на основе графа потока исполнения. Такое представление сохраняет информацию о типах значений, что отличает его от языка сборки. Представлена разновидность языка Рефал с поддержкой функций высшего порядка, замыканий и типа данных "ассоциативный массив", а также транслятор в промежуточное представление. В терминах этого языка приведены примеры описания программ с простыми типами, а также полиморфизма по полям записей. Такие примеры представляют интерес для описания системы типов языков программирования с динамической типизацией.
- Добавил в систему: Васенин Валерий Александрович
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | Promezhutochnoe_predstavlenie_WHhB0AE.pdf | 548,7 КБ | 28 января 2020 [vasenin] |