Magas szintű műveletkészlet és kifejezések transzformációk kutatása az automatikus párhuzamosítás és optimalizáció céljából.
A tétel részletes adatai