Geodesic
Analysis of algorithms of executable files in a~computer emulator with a~changeable specification
Prikladnaya Diskretnaya Matematika. Supplement, no. 5 (2012), pp. 100-101

Voir la notice de l'article provenant de la source Math-Net.Ru

The report addresses to issues related to the description of the semantics of machine instructions. This includes the analysis of expressions. It also discusses the methods for dynamic analysis of applications executed within the built-in environment, such as tracing the progress of the program and the construction of the graph of conditional transitions. 
@article{PDMA_2012_5_a53,
     author = {A. S. Burlakov},
     title = {Analysis of algorithms of executable files in a~computer emulator with a~changeable specification},
     journal = {Prikladnaya Diskretnaya Matematika. Supplement},
     pages = {100--101},
     publisher = {mathdoc},
     number = {5},
     year = {2012},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDMA_2012_5_a53/}
}
TY  - JOUR
AU  - A. S. Burlakov
TI  - Analysis of algorithms of executable files in a~computer emulator with a~changeable specification
JO  - Prikladnaya Diskretnaya Matematika. Supplement
PY  - 2012
SP  - 100
EP  - 101
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDMA_2012_5_a53/
LA  - ru
ID  - PDMA_2012_5_a53
ER  - 
%0 Journal Article
%A A. S. Burlakov
%T Analysis of algorithms of executable files in a~computer emulator with a~changeable specification
%J Prikladnaya Diskretnaya Matematika. Supplement
%D 2012
%P 100-101
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDMA_2012_5_a53/
%G ru
%F PDMA_2012_5_a53
A. S. Burlakov. Analysis of algorithms of executable files in a~computer emulator with a~changeable specification. Prikladnaya Diskretnaya Matematika. Supplement, no. 5 (2012), pp. 100-101. http://geodesic.mathdoc.fr/item/PDMA_2012_5_a53/