Алгоритм Стенсгаардса - Steensgaards algorithm - Wikipedia

Пункты для анализа это очень важный метод, используемый при оптимизации кода. Бьярне Стинсгаард представил идею сокращения анализа точек до вывод типа и проверка типа, тем самым моделируя алгоритм линейного пространства и почти линейного времени для вычисления точек для набора.

Стенсгаард предложил анализ точек для небольшого императивного, но универсального языка указателей, который фиксирует существенные свойства других распространенных языков указателей, таких как C. Он предложил семантику языка и правила типизации, которые он использует для анализа.

Рекомендации

  • Стенсгаард, Бьярне (1996). «Анализ точек за почти линейное время» (PDF). POPL '96: Материалы 23-го симпозиума ACM SIGPLAN-SIGACT по принципам языков программирования. Нью-Йорк, Нью-Йорк, США: ACM. С. 32–41. Дои:10.1145/237721.237727. ISBN  0-89791-769-3.