Programskärning är en metod för att bryta ner program genom att analysera deras data och kontrollflöde. Slicingbaserade tekniker har många tillämpningar inom programvaruteknik (som program felsökning, testning, kod återanvändning, underhåll, etc). Slicing har studerats brett inom det imperativa programmeringsparadigmet, där det ofta baseras på den så kallade programberoende grafen, en datastruktur som gör explicit både data och kontrollberoende för varje operation i ett program. Tyvärr kan begreppet "beroende" inte lätt anpassas till ett funktionellt sammanhang. I detta arbete definierar vi ett nytt tillvägagångssätt för statisk skivning (dvs. oberoende av en viss indata) för första ordningens funktionella program som representeras av omskrivningssystem. För detta ändamål introducerar vi en lämplig uppfattning om beroende som kan användas för datorprogramskivor. Eftersom begreppet statisk skiva i allmänhet är obeslutbart, introducerar vi också en fullständig approximation för att beräkna statisk skivor som bygger på konstruktionen av en term beroende graf, motsvarigheten till program beroende grafer.
Ett annat tillvägagångssätt är baserat på termen beroende diagram (TDG) REF.
Static Slicing of Rewrite Systems 1
{'venue': 'Electron. Notes Theor. Comput. Sci.', 'journal': 'Electron. Notes Theor. Comput. Sci.', 'mag_field_of_study': ['Computer Science']}