The Construction of an Universal Linearized Control Flow Graph for Static Code Analysis of Algorithms

This paper presents the description of a possible way to build the universal linearized control flow graph which is supposed to be architecture-independent and applicable to the description of any high level language programs. The practical usefulness of the graph considered is the existence of the...

Celý popis

Podrobná bibliografie

Vydáno v:	Modelirovanie i analiz informacionnyh sistem Ročník 20; číslo 2; s. 166 - 177
Hlavní autoři:	Bitner, V. A., Zaborovsky, N. V.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Yaroslavl State University 18.03.2015
Témata:	multithreaded algorithms optimizing compiler race condition ssa static analysis
ISSN:	1818-1015, 2313-5417
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!