|
Препринты Института прикладной математики им. М. В. Келдыша РАН, 2009, 007, 28 стр.
(Mi ipmp278)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Специализатор CILPE: анализ времен связывания
Ю. А. Климов
Аннотация:
Анализ времен связывания (Binding Time Analysis, BTA, BT-анализ) – основная часть метода частичных вычислений (Partial Evaluation, PE). В данной работе описана BT-разметка (Binding Time Annotation) программ на стековом объектно-ориентированном языке SOOL (Stack Object-Oriented Language) и правила, которым должна удовлетворять корректная разметка. Эта разметка строится анализом времен связывания и используется для генерации остаточной программы в специализаторе CILPE.
Образец цитирования:
Ю. А. Климов, “Специализатор CILPE: анализ времен связывания”, Препринты ИПМ им. М. В. Келдыша, 2009, 007, 28 с.
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ipmp278 https://www.mathnet.ru/rus/ipmp/y2009/p7
|
Статистика просмотров: |
Страница аннотации: | 103 | PDF полного текста: | 47 | Список литературы: | 35 |
|