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