Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://num-meth.srcc.msu.ru/english/zhurnal/tom_2006/v7r207.html
Дата изменения: Wed Sep 20 16:54:55 2006 Дата индексирования: Mon Oct 1 22:41:18 2012 Кодировка: |
"The construction of a T-system formal model and the proof of its correctness" Vodomerov A.N. |
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.
|
Vodomerov A.N. e-mail: alexander.vodomerov@gmail.com |