Bielecki, W.; Siedlecki, K.
(Электронное моделирование, 2007)
An algorithm, permitting us to extract iterations belonging to synchronization-free slices and to generate code enumerating sources of such slices and iterations of each slice in lexicographical order is presented. ...