El análisis de puntos es una técnica muy importante que se utiliza en las optimizaciones de código. Bjarne Steensgaard presentó la idea de reducir el análisis de puntos a la inferencia de tipos y la verificación de tipos , modelando así un espacio lineal y un algoritmo de tiempo casi lineal para el cálculo de puntos a conjuntos.
Steensgaard propuso el análisis de puntos a para un lenguaje puntero pequeño imperativo pero genérico que captura las propiedades esenciales de otros lenguajes punteros comunes como C. Ha propuesto la semántica del lenguaje y las reglas de tipeo que utiliza para el análisis.