Вы здесь

Главная

Смешанные вычисления и преобразование программ

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

Алгоритмы символьной обработки: объектная ориентация, трансформация, синтез
Векторизация программ в системе кросс-программирования
Вопросы создания и реализации адаптируемых средств программирования
Использование механизма абстрактной интерпретации при анализе программ
Константность информационно замкнутых операторов
Контекстные условия для объединения и расчленения циклов с индексными выражениями
Методы компиляции мета-логических программ при помо и абстрактной интерпретации
Обоб енная схема анализа передачи данных и ее использование при оптимизации программ
О методике трансформационного синтеза алгоритмов и программ
О предельных свойствах смешанных вычислений
От специализации к смешанным вычислениям
Подход к модульному проектированию устойчивых программных средств
Построение и анализ алгоритма универсальной унификации в VDM
Построение смешанного вычисления на алголоподобных программах
Препроцессор интервального анализа для алгоритмического языка Паскаль на IBM PC
Принципы построения систем программирования для векторно-конвейерных ЭВМ
Проблемно-ориентированный подход к верификации программ линейной алгебры
Проблемы организации конвейерных и векторных вычислений
Процессно-ориентированный подход к реализации смешанных вычислений
Семантические сети в анализе программ
Смешанные вычисления в верификации программ, взаимодействую их с окружением
Смешанные вычисления в среде разработки интегрированных интеллектуальных систем
Смешанные вычисления и метакомпиляция
Смешанные вычисления и преобразоввание баз знаний в экспертных системах
Смешанные вычисления и процедуры поиска логического вывода
Смешанные и частичные вычисления (Вступительный доклад)
Статистические вычисления в полиморфной системе типов с подтипами и предикатами
Статистические вычисления в полиморфной системе типов с подтипами и предикатами
Статистические вычисления в программах
Статистические данные о распараллеливаемости программ
Трансформации для рекурсивных схем программ
Трансформации для рекурсивных схем программ
Трансформационный подход к конструированию и оптимизации программ
Трансформационный подход к конструированию и оптимизации программ
Упорядочение термов теории типов Мартин-Лефа, теоремы о неподвижной точке и двойной рекурсии в теории типов Мартин-Лефа
ФОЛИ - язык искусственного интеллекта