Вестник Удмуртского университета. Математика
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Вестник Удмуртского университета. Математика, 2007, выпуск 1, страницы 223–234 (Mi vuu274)  
ИНФОРМАТИКА

Простые типизированные функциональные языки программирования

А. П. Бельтюков

Удмуртский государственный университет, г. Ижевск
PDF полного текста (444 kB)
Аннотация: Описан способ построения простых функциональных языков программирования, пригодных для определения классов рекурсивных функций ограниченной вычислительной сложности. Все обрабатываемые данные в языке обязательно ограничены типами, которые также могут быть построены средствами языка. Языки рассчитаны как на изучение сложностных классов алгоритмов, так и на расширения для практического программирования.
Ключевые слова: языки программирования; функциональное программирование; вычислительная сложность алгоритмов.
Поступила в редакцию: 01.11.2006
Тип публикации: Статья
УДК: 519 : 681
Образец цитирования: А. П. Бельтюков, “Простые типизированные функциональные языки программирования”, Вестн. Удмуртск. ун-та. Матем., 2007, № 1, 223–234
Цитирование в формате AMSBIB
\RBibitem{Bel07}
\by А.~П.~Бельтюков
\paper Простые типизированные функциональные языки программирования
\jour Вестн. Удмуртск. ун-та. Матем.
\yr 2007
\issue 1
\pages 223--234
\mathnet{http://mi.mathnet.ru/vuu274}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/vuu274
  • https://www.mathnet.ru/rus/vuu/y2007/i1/p223
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Вестник Удмуртского университета. Математика. Механика. Компьютерные науки
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024