Вы здесь

Главная

Методы трансляции и конструирования программ. (Тез. докл. Всесоюз. конф. 23-25 ноября 1988 г.)

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

Автоматизированный перевод текстов программ с одного языка программирования на другой
Анализ системы программирования СИ/КРОНОС
Верификация программ на подмножестве ПЛ/I с использованием инструментальных средств
Генерация пакетов доступа к большим таблицам
Инструментальная расширяемая среда конструирования распределенных отказоустойчивых программных средств
Конструирование языковых процессоров средствами системы ДЕПОТ-ГДР
Многоязыковая система кросс-программирования
Модульный алгоритмический язык рекурсивно конструированных и изображаемых значений - Маркиз
Непрерывная технология проектирования бортового программного обеспечения АСШУ
Об автоматической верификации трансляторов
Об интерпретируемых кодах для реализации языков высокого уровня
Об одном методе частичного тестирования программ
Об опыте расширения языков ЭВМ различного уровня
Обьектно-ориентированный подход к реализации видимости и идентификации в трансляторе АДА-Эльбрус
Один алгоритм синтеза программ на вычислительных моделях
Опыт реализации языков высокого уровня на персональных ЭВМ посредством интерпретируемого кода
О раздельной трансляции в Модула-2
О синтезе программных функций в системе символического выполнения Паскаль-программ
Особенности реализации инкрементной системы конструирования программ
Применение атрибутной синтаксически управляемой трансляции для синтеза программ
Применение математических машин в системном программировании
Применение модульного подхода к разработке транслятора
Применение обьектно-ориентированной системы НУТ для построения трансляторов
Применение систем автоматизации построения трансляторов для разработки эффективных трансляторов
Принципиальная модель архитектуры интегрированных технологичесих окружений
Принципы и технология разработки трансляторов для МВК "Эльбрус" в Ленинградском университете
Проблемно-ориентированный подход к верификации программ
Проблемы унифицированной реализации стандартных и произвольных типов данных
Распараллеливание итеративных циклов DO в компиляторе Фортран ВК ЭВМ
Реализация инструментального комплекса для внешнего тестирования трансляторов
Реализация семейства трансляторов с языка ФОРТРАН для ЭВМ линии БЭСМ
Синтез семантических моделей расчетных программ
Система программирования ЭЛЬ-СИ на МВК "Эльбрус"
Система управления базами данных программных систем
Сложный анализ и эффективизация программных вычислений над комбинаторными обьектами на основе априорного исследования свойств алгоритмов и структур данных
Создание программного окружения для разработки диалоговых программ САПР
Тестирование трансляторов Паскаля на соответствие стандарту
Транслятор в системе автоматизации разработки программных комплексов
Трансляция ФОРТРАН-программ в параллельные языковые конструкции
Турбо-компиляция. Что дальше?
Турбо-компиляция. Что дальше?
Учет межмодульных связей при оптимизации программ на языках типа АДА и МОДУЛА-2
Учет межмодульных связей при оптимизации программ на языках типа АДА и МОДУЛА-2