Combinatorical and Algebraic Structures Seminar
Session details
Date: | 4.5.2010 |
Speaker: | Karel Jedlička, FJFI, České vysoké učení technické v Praze |
Title: | Analýza Control flow grafů II |
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ž