مرکز منطقه ای اطلاع رساني علوم و فناوري - Using postdomination to reduce space requirements of data flow analysis

Title of article :

Using postdomination to reduce space requirements of data flow analysis

Author/Authors :

C. Bernardeschi، نويسنده , , G. Lettieri، نويسنده , , L. Martini، نويسنده , , P. Masci، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 2006

Pages :

From page :

To page :

Keywords :

Algorithms , Proof system , Data flow analysis

Journal title :

Information Processing Letters

Serial Year :

2006

Journal title :

Information Processing Letters

Record number :

130218

Link To Document :