Анализ и оптимизация

BANE: BANE (Berkeley ANalysis Engine) является пакетом инструментальных средств для создания программ анализа. BANE основан на ограничениях. Это означает что анализ формулируется как система ограничений, генерируемых из текста программы. Решая эти ограничения BANE вычисляет необходимую информацию.
OMEGA: Структуры и алгоритмы для анализа и преобразования научных программ.
OPTIMIX: OPTIMIX - генератор оптимизаторов. Может быть использован для анализа и оптимизации программ . Входной язык основан на DATALOG и перезаписи графов (graph rewriting).
PAG: Генератор анализаторов программ PAG поддерживает реализацию статических анализаторов программ. PAG генерирует эффективные анализаторы потока данных из кратких спецификаций.
Подробнее...
TINY: Tiny является исследовательской реализацией интерактивного инструмента для преобразования программ. Tiny определяет отношения зависимых данных и в интерактивном режиме выполняет множество операций преобразования.