Специализатор CILPE: анализ времен связывания

Анализ времен связывания (Binding Time Analysis, BTA, BT-анализ) – основная часть метода частичных вычислений (Partial Evaluation, PE). В данной работе описана BT-разметка (Binding Time Annotation) программ на стековом объектно-ориентированном языке SOOL (Stack Object-Oriented Language) и правила, которым должна удовлетворять корректная разметка. Эта разметка строится анализом времен связывания и используется для генерации остаточной программы в специализаторе CILPE.