Vi föreslår en ny algoritm för partiell redundans eliminering baserat på de nya koncepten säker partiell tillgänglighet och säker partiell förutsebarhet. Dessa nya begrepp härleds genom att begreppet säkerhet integreras i förnekandet av partiell tillgänglighet och delvis förutsebarhet. Algoritmen fungerar på ow grafer vars noder är grundläggande block. Det är både beräkningsmässigt och livstid optimal och kräver fyra enkelriktade analyser. Den viktigaste egenskapen hos algoritmen är dess enkelhet; algoritmen utvecklas naturligt från det nya konceptet säker partiell tillgänglighet.
Begreppet säker partiell tillgänglighet och säker partiell förutsebarhet, är de grundläggande begreppen för algoritmen som införs i REF.
Partial redundancy elimination: a simple, pragmatic, and provably correct algorithm
{'venue': 'Sci. Comput. Program.', 'journal': 'Sci. Comput. Program.', 'mag_field_of_study': ['Computer Science']}