Вырубка лесов (информатика) - Deforestation (computer science)
В теории языки программирования в Информатика, вырубка леса (также известный как слияние) это преобразование программы удалить промежуточные списки или древовидные структуры которые создаются, а затем немедленно используются программой.
Термин «обезлесение» был первоначально введен Филип Вадлер в его статье 1990 года «Вырубка лесов: программы преобразования для уничтожения деревьев».[1]
Вырубка леса обычно применяется к программам в функциональные языки программирования, особенно нестрогие языки программирования Такие как Haskell. Один конкретный алгоритм обезлесения, сокращенная вырубка лесов,[2] реализуется в Компилятор Glasgow Haskell.[3] Вырубка лесов тесно связана с анализ побега.
Смотрите также
Рекомендации
- ^ Уодлер, Филип (1990). «Вырубка лесов: программы преобразования для уничтожения деревьев». Теоретическая информатика. 73 (2): 231–248. Дои:10.1016 / 0304-3975 (90) 90147-А.
- ^ Гилл, Эндрю; Джон Лаанчбери; Саймон Пейтон Джонс (1993). «Кратчайший путь к вырубке лесов» (PDF). Proc. Конф. по языкам функционального программирования и компьютерной архитектуре. С. 223–232. Дои:10.1145/165180.165214.
- ^ Пейтон Джонс, Саймон; Андрей Толмач; МАШИНА. Хоар (2001). «Игра по правилам: переписывание как практический метод оптимизации в GHC» (PDF). Proc. ACM / SIGPLAN Haskell Workshop.
Этот язык программирования -связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |