Steensgaards algoritması - Steensgaards algorithm - Wikipedia

Analiz edilecek noktalar kod optimizasyonlarında kullanılan çok önemli bir tekniktir. Bjarne Steensgaard, noktaları analize indirgeme fikrini tür çıkarımı ve tür denetimi, böylece noktaların ayarlanması için doğrusal bir uzay ve neredeyse doğrusal zaman algoritması modelleme.

Steensgaard, C gibi diğer yaygın işaretçi dillerinin temel özelliklerini yakalayan küçük zorunlu ancak genel bir işaretçi dili için noktaları analiz etmeyi önerdi. Analiz için kullandığı dil semantiğini ve yazım kurallarını önerdi.

Referanslar

  • Steensgaard, Bjarne (1996). "Neredeyse doğrusal zamanda analiz edilecek noktalar" (PDF). POPL '96: 23. ACM SIGPLAN-SIGACT programlama dilleri ilkeleri sempozyumunun bildirileri. New York, NY, ABD: ACM. s. 32–41. doi:10.1145/237721.237727. ISBN  0-89791-769-3.