مرکز منطقه ای اطلاع رساني علوم و فناوري - A logic-based approach to program flow analysis

Title of article :

A logic-based approach to program flow analysis

Author/Authors :

Mooly Sagiv، نويسنده , , Nissim Francez، نويسنده , , Michael Rodeh and Reinhard Wilhelm ، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 1998

Pages :

From page :

457

To page :

504

Journal title :

acta Informatica

Serial Year :

1998

Journal title :

acta Informatica

Record number :

287634

Link To Document :