Geodesic
Resource usage analysis in software
Prikladnaâ diskretnaâ matematika, no. 12 (2010), pp. 78-79

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

A portable method to detect and pinpoint bugs in runtime programs is presented. Traced operations in it are functions manipulating resources. A language for describing a number of resources and related functions is presented too. The hierarchy of definitions are stored in XML. Analyzer core works with many classes of resources without recompilation. Instrumented code is placed in the source files of target application during preprocessing. Traced errors often impact the safety and the security of software. 
@article{PDM_2010_12_a37,
     author = {V. V. Gorelov},
     title = {Resource usage analysis in software},
     journal = {Prikladna\^a diskretna\^a matematika},
     pages = {78--79},
     publisher = {mathdoc},
     number = {12},
     year = {2010},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDM_2010_12_a37/}
}
TY  - JOUR
AU  - V. V. Gorelov
TI  - Resource usage analysis in software
JO  - Prikladnaâ diskretnaâ matematika
PY  - 2010
SP  - 78
EP  - 79
IS  - 12
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDM_2010_12_a37/
LA  - ru
ID  - PDM_2010_12_a37
ER  - 
%0 Journal Article
%A V. V. Gorelov
%T Resource usage analysis in software
%J Prikladnaâ diskretnaâ matematika
%D 2010
%P 78-79
%N 12
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDM_2010_12_a37/
%G ru
%F PDM_2010_12_a37
V. V. Gorelov. Resource usage analysis in software. Prikladnaâ diskretnaâ matematika, no. 12 (2010), pp. 78-79. http://geodesic.mathdoc.fr/item/PDM_2010_12_a37/