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

Бесплатный доступ

Рассмотрен один из наиболее перспективных подходов к реализации компиляторов для функциональных языков с «энергичной» семантикой, таких как Scheme и ML. В качестве примера использован компилятор Gambit-C для языка Scheme. Приведено краткое описание языка Scheme. Рассмотрены принципы компиляции программ на языке Scheme. Исследована проблема свободных переменных. Проведен анализ возможных решений проблемы остаточных вычислений.

Короткий адрес: https://sciup.org/147158547

IDR: 147158547

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

  • Hudak, P. Conception, evolution, and application of functional programming languages/P. Hudak//ACM Computing Surveys. -1989. -Vol. 21. -Issue 3. -P. 359-411.
  • Haskel [HTML]: [http://www.haskell.org/>] 3. The Computer Language Shootout Benchmarks [HTML]: [http://shootout.alioth.debian.org/>]
  • Feeley M. The 90 minute Scheme to С compiler. Universite de Montreal. [HTML]: [http://www.iro.umontreal.ca/~boucherd/mslug/meetings/20041020/minutes-en.html>]
  • Гринев, M. XML-СУБД Sedna: технические особенности и варианты использования/М. Гринев, С. Кузнецов, А. Фомичев//Открытые системы. -2004. -№. 8. [HTML]: [.ru/os/2004/08/036.htm' target='_new' rel='nofollow'>http://www.osp>.ru/os/2004/08/036.htm]
  • SXML [HTML]: [http://okmij.org/ftp/Scheme/SXML.html>] Revised (5) Report on the Algorithmic Language Scheme [HTML]: [http://www.swiss.ai>. ]
  • Friedman, D.P. Essential Of Programming Languages, second edition/D.P. Friedman, M. Wand, C.T. Haynes. -The MIT Press, 2001.
  • Ctinger, W.D. Implementation Strategies for Continuations/W.D. Ctinger, E.M. Ost. -1988 CM 0-09791-273-X/88/0007/0124. 10.
  • Krishnamurthi, S. Continuations, 2001-10-12. 11.
  • Appel, A.W. A Runtime System. Princeton University, CS-TR-220-89, May 1989. 12.
  • Queinnec, С. Lisp in Small Pieces. -Cambridge University Press, 1996.
Еще
Статья научная