Вы здесь

Главная

sisal

Связанные издания:

Automated Sisal program verification with ACL2
Chapter 2. The Sisal Project: Real World Functional Programming
Efficient Storage Reuse of Aggregates in Single Assignment Languages
Optimizing Sisal Programs: A Formal Approach
Sisal 3.1 language structures decomposition
The Sisal Model of Functional Programming and Its Implementation
Алгоритмы оптимизации программ, записанных в виде графа IR2
Внутреннее представление системы функционального программирования SISAL 3.0
Внутреннее представление среднего уровня для компиляторов языка Sisal
Вопросы эффективного использования параллельных ЭВМ
Индексный анализ зависимостей по данным в Sisal-программах
Модели и реализация транслирую их компонентов системы функционального программирования
Модели и реализация транслирую их компонентов системы функционального программирования
Поддержка модулей в функциональном языке программирования SISAL
Подходы к оптимизации программ в системе SFP
Протягивание констант в графе IR2 внутреннего представления языка Sisal
Функциональный язык SISAL 3.0
Функциональный язык SISAL 3.0