Geodesic
The construction of a T-system formal model and the proof of its correctness
Numerical methods and programming, Tome 7 (2006) no. 3, pp. 71-78.

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

We study the methods of program parallelization used in the T-system (an automatic parallelization tool for applied programs). A distinguishing feature of the T-system is that it is designed for programs written in the widespread languages C and C++. In this paper we present a formal model describing the T-system basic constructions on the basis of operational approach. Our model is used to prove the correctness of T-system mechanisms.
Keywords: formal model, T-system, dynamic parallelization, correctness, automatic parallelization. 
@article{VMP_2006_7_3_a12,
     author = {A. N. Vodomerov},
     title = {The construction of a {T-system} formal model and the proof of its correctness},
     journal = {Numerical methods and programming},
     pages = {71--78},
     publisher = {mathdoc},
     volume = {7},
     number = {3},
     year = {2006},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VMP_2006_7_3_a12/}
}
TY  - JOUR
AU  - A. N. Vodomerov
TI  - The construction of a T-system formal model and the proof of its correctness
JO  - Numerical methods and programming
PY  - 2006
SP  - 71
EP  - 78
VL  - 7
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VMP_2006_7_3_a12/
LA  - ru
ID  - VMP_2006_7_3_a12
ER  - 
%0 Journal Article
%A A. N. Vodomerov
%T The construction of a T-system formal model and the proof of its correctness
%J Numerical methods and programming
%D 2006
%P 71-78
%V 7
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VMP_2006_7_3_a12/
%G ru
%F VMP_2006_7_3_a12
A. N. Vodomerov. The construction of a T-system formal model and the proof of its correctness. Numerical methods and programming, Tome 7 (2006) no. 3, pp. 71-78. http://geodesic.mathdoc.fr/item/VMP_2006_7_3_a12/