Steensgaardův algoritmus - Steensgaards algorithm - Wikipedia

tento článek poskytuje nedostatečný kontext pro ty, kteří danému tématu nejsou obeznámeni. Prosím pomozte vylepšit článek podle poskytuje čtenáři více kontextu. (Říjen 2015) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

Analýza bodů je velmi důležitá technika používaná při optimalizaci kódu. Bjarne Steensgaard představil myšlenku redukce bodů na analýzu na odvození typu a kontrola typu, a tím modelování lineárního prostoru a téměř lineárního časového algoritmu pro výpočet point-to-set.

Steensgaard navrhl analýzu point-to pro malý imperativní, ale obecný jazyk ukazatele, který zachycuje základní vlastnosti jiných běžných jazyků ukazatele, jako je C. Navrhl jazykovou sémantiku a pravidla psaní, která používá pro analýzu.

Reference

• Steensgaard, Bjarne (1996). „Analýza bodů do téměř lineárního času“ (PDF). POPL '96: Sborník 23. sympozia ACM SIGPLAN-SIGACT o zásadách programovacích jazyků. New York, NY, USA: ACM. s. 32–41. doi:10.1145/237721.237727. ISBN  0-89791-769-3.