Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикация

№ 33, Москва, 2009 г.
Авторы: Климов Ю. А.
Специализатор CILPE: доказательство корректности
Аннотация:
Специализатор CILPE преобразует программы, написанные на языке SOOL (Stack Object-Oriented Language), методом частичных вычислений. В работе доказана корректность CILPE: для любой корректной разметки исходной программы генератор остаточных программ строит остаточную программу, эквивалентную исходной при заданных значениях S-аргументов и любых значениях D-аргументов.
Язык публикации: русский, страниц: 32
Направление исследований:
Программирование, параллельные вычисления, мультимедиа
Полный текст: Сведения об авторах:
  • Климов Юрий Андреевич,  ,  ИПМ им. М.В. Келдыша РАН