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

№ 7, Москва, 2009 г.
Авторы: Климов Ю. А.
Специализатор CILPE: анализ времен связывания
Аннотация:
Анализ времен связывания (Binding Time Analysis, BTA, BT-анализ) — основная часть метода частичных вычислений (Partial Evaluation, PE). В данной работе описана BT-разметка (Binding Time Annotation) программ на стековом объектно-ориентированном языке SOOL (Stack Object-Oriented Language) и правила, которым должна удовлетворять корректная разметка. Эта разметка строится анализом времен связывания и используется для генерации остаточной программы в специализаторе CILPE.
Язык публикации: русский, страниц: 28
Направление исследований:
Программирование, параллельные вычисления, мультимедиа
Полный текст: Сведения об авторах:
  • Климов Юрий Андреевич,  ,  ИПМ им. М.В. Келдыша РАН