مرکز منطقه ای اطلاع رساني علوم و فناوري - On abstract interpretation of Mobile Ambients

Title of article :

On abstract interpretation of Mobile Ambients

Author/Authors :

Francesca Levi، نويسنده , , Sergio Maffeis، نويسنده ,

Issue Information :

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

Pages :

From page :

179

To page :

240

Keywords :

Mobile ambients , Abstract interpretation , Static analysis

Journal title :

Information and Computation

Serial Year :

2004

Journal title :

Information and Computation

Record number :

262209

Link To Document :