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á bibliografia

Vydané v:	Modelirovanie i analiz informacionnyh sistem Ročník 20; číslo 2; s. 166 - 177
Hlavní autori:	Bitner, V. A., Zaborovsky, N. V.
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Yaroslavl State University 18.03.2015
Predmet:	multithreaded algorithms optimizing compiler race condition ssa static analysis
ISSN:	1818-1015, 2313-5417
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!