Kontrollflytgraf
En kontrollflytgraf er en avbilning innenfor informatikk, hvor det benyttes en graf hvor alle stier kan traverseres gjennom et dataprogram under dets eksekvering. Kontrollflytgrafen ble første gang tatt i bruk av Frances E. Allen,[1] som merket seg at Reese Prosser tidligere benyttet nabomatriser for å fremstille flytanalyse.[2]
Kontrollflytgrafer er sentrale for mange optimaliserende kompilatorer og verktøy for statisk programanalyse.
Referanser
Denne artikkelen er en spire. Du kan hjelpe Wikipedia ved å utvide den.
Autoritetsdata