Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
ИПМ АН СССР
Связанные издания:
Алгоритм синтеза рабочих программ по записи на НОРМЕ
Анализ и синтез синхронизирую их механизмов типа "событие"
Генератор компиляторов, порожденный самоприменением специализатора, может иметь ясную и естественную структуру
Диалоговая информационная система об его назначения ДИСОН (Версия 14-12.82) 7. Концепции и возможности
Информационное обеспечение пакета САФРА
Информационное обеспечение системы КОРПУСКУЛА
Исследование процессов параллельного выполнения компилирую их программ некоторого типа
Метаязык трансляционного типа
Метод функциональной аттестации и сопоставительного анализа языков программирования
Об использовании увеличенной оперативной памяти машины БЭСМ-6 в языках прогаммирования высокого уровня на базе ОС ИПМ
Об одном подходе к формальному определению синхронизации в вычислительных системах
Операционная система ДИСПАК для БЭСМ-6
Описание языка ПОПЛАН. Часть 1
Описание языка ПОПЛАН. Часть 2
Опыт использования аналитических преобразований на ЭВМ в задачах механики
Организация циклических вычислений в языке НОРМА
Пакет за ита. Об ее описание языка заданий
Представление объектных выражений массивами при реализации языка Рефал
Проблемы машинного видения в робототехнике. Сборник научных трудов
Программа для решения систем линейных алгебраических уравнений методом Гаусса по схеме главных элементов (СП-0206)
Программирование компонент систем аналитических выкладок на РЕФАЛе
Разработка многоцелевых проблемно-ориентированных систем с помо ью анализатора PLAN-БЭСМ6. Система КОРПУСКУЛА
Реализация транслятора FOREX для ЦП АС-6
Реализация универсального анализатора проблемных языков PLAN-БЭСМ-6
Семантика языка НОРМА
Система muMATH - muSIMP для символьных вычислений на персональном компьютере
Система автоматизации учета кадров (КАДР-2). Инструкция
Система ПНФ - принципы создания пакетов программ на базе нестандартизированного программного фонда
Система построения трансляторов ТУ. Об ее описание первой версии.
Спецификация законов видимости для подмножества языка Модула-2
Средства модуляции программного фонда в языке системы ПНФ
Средства описания расчетных цепочек в языке системы ПНФ
Структура главного транслятора и загрузчика системы построения трансляторов ТУ1
Язык НОРМА