Сталин (Схема реализации)
В этой статье есть несколько проблем. Пожалуйста, помогите улучшить его или обсудите эти проблемы на странице обсуждения . ( Узнайте, как и когда удалять эти шаблонные сообщения )
|
Парадигмы | Мультипарадигмальность : функциональная , императивная , мета. |
---|---|
Семья | Лисп |
Разработано | Джеффри Марк Сискинд |
Разработчик | Джеффри Марк Сискинд |
Стабильная версия | 0,11 / 2 октября 2006 г |
Дисциплина набора текста | Динамичный , скрытый , сильный |
Объем | Лексический |
Платформа | ИА-32 , x86-64 |
ТЫ | Кросс-платформенный |
Лицензия | лицензия GPL |
Веб-сайт | инженерия |
Под влиянием | |
Лисп , Схема |
В области вычислений Сталин ( STAtic Language ImplementationN ) — это язык программирования , агрессивный оптимизирующий пакетный всей программы, Scheme компилятор написанный Джеффри Марком Сискиндом. Он использует расширенный анализ потока данных и вывод типов , а также множество других методов оптимизации для создания кода. Сталин предназначен для производственного использования при создании оптимизированного исполняемого файла .
Компилятор работает медленно, практически не поддерживая отладку и другие тонкости. полная схема R4RS Поддерживается с некоторыми незначительными и редко встречающимися упущениями. Взаимодействие с внешними библиотеками C очень просто. Компилятор выполняет анализ времени жизни и, следовательно, не генерирует столько мусора , сколько можно было бы ожидать, но глобальное освобождение памяти выполняется с помощью сборщика мусора Boehm .
Название - шутка: " Сталин жестоко оптимизирует".
Сталин — это бесплатное программное обеспечение с открытым исходным кодом , лицензированное по лицензии GNU General Public License (GPL) и доступное в Интернете.
См. также
[ редактировать ]Ссылки
[ редактировать ]Внешние ссылки
[ редактировать ]- Проект Google Code – включает версию для Windows и графический интерфейс.
- Заявление Сискинда об исследовании (сравнивает Сталина с другими компиляторами Scheme и утверждает, что «СТАЛИН часто генерирует код, который превосходит рукописный код на C и Фортране»).
- Облегченное преобразование замыканий, направленное на поток от Siskind (представляет облегченный метод преобразования замыканий, основанный на результатах межпроцедурного анализа потока всей программы, достижимости, указателей и escape-анализов, используемых в компиляторе Сталина)