Алгоритм Стенсгаардса - Википедия - Steensgaards algorithm

Эта статья предоставляет недостаточный контекст для тех, кто не знаком с предметом. Пожалуйста помоги улучшить статью к обеспечение большего контекста для читателя. (Октябрь 2015 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

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

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

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

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