1 paper · 1 filter
R. Nuriyev
The problem of detecting of information and logically independent (DILD) steps in programs is a key for equivalent program transformations. Here we are considering the problem of i…