Combinatorical and Algebraic Structures Seminar
Session details
| Date: | 20.4.2010 |
| Speaker: | Marek Honzírek, FJFI, České vysoké učení technické v Praze |
| Title: | Analýza Control flow grafů I |
| Abstract: | Control flow graph (CFG) je grafová reprezentace počítačového programu - posloupnosti příkazů, které mohou být vykonány za jeho běhu. V přednášce se budeme věnovat dvěma pojmům používaným při analýze CFG - dominanci a ekvivalenci kontrolní závislosti. Představíme známé algoritmy na hledání stromu dominance a tříd dané ekvivalence a srovnáme je z hlediska rychlosti a implementační náročnosti. |
Return to index.
last update: 27.9.2007, webmaster: Petr Ambrož