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

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

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


Труды ИСП РАН:
Год:
Том:
Выпуск:
Страница:
Найти




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

Труды института системного программирования РАН, 2018, том 30, выпуск 2, страницы 45–64
DOI: https://doi.org/10.15514/ISPRAS-2018-30(2)-3 (Mi tisp308) 		 
Преобразование типизированных функций в реляционную форму

П. А. Лозов, Д. Ю. Булычев

Санкт-Петербургский государственный университет
PDF полного текста (1138 kB)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.15514/ISPRAS-2018-30(2)-3
Аннотация: Реляционное программирование является подходом, позволяющим исполнять программы в различных "направлениях" для получения различных сценариев поведения по одной реляционной спецификации. В данной статье рассмотрена задача автоматического преобразования функциональных программ в реляционные. Представлен метод преобразования типизированных функций в реляционную форму, а также доказательство его статической и динамической корректности. Также в статье обсуждаются ограничения предложенного метода, представлена реализация метода для подмножества языка OCaml и проведена оценка эффективности метода на ряде реалистичных примеров.
Ключевые слова: функциональное программирование, реляционное программирование, генерация программ.
Реферативные базы данных:
Тип публикации: Статья
Образец цитирования: П. А. Лозов, Д. Ю. Булычев, “Преобразование типизированных функций в реляционную форму”, Труды ИСП РАН, 30:2 (2018), 45–64
Цитирование в формате AMSBIB
\RBibitem{LozBou18}
\by П.~А.~Лозов, Д.~Ю.~Булычев
\paper Преобразование типизированных функций в реляционную форму
\jour Труды ИСП РАН
\yr 2018
\vol 30
\issue 2
\pages 45--64
\mathnet{http://mi.mathnet.ru/tisp308}
\crossref{https://doi.org/10.15514/ISPRAS-2018-30(2)-3}
\elib{https://elibrary.ru/item.asp?id=34996251}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tisp308
  • https://www.mathnet.ru/rus/tisp/v30/i2/p45
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Труды института системного программирования РАН
    Статистика просмотров:
    Страница аннотации:170
    PDF полного текста:128
    Список литературы:32
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025