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