کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
9655916 | 685223 | 2005 | 14 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Towards a Complete Static Analyser for Java: an Abstract Interpretation Framework and its Implementation
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Towards a Complete Static Analyser for Java: an Abstract Interpretation Framework and its Implementation Towards a Complete Static Analyser for Java: an Abstract Interpretation Framework and its Implementation](/preview/png/9655916.png)
چکیده انگلیسی
The paper contains an overview of the work. We describe parts of the standard and abstract semantics; then, we briefly explain the fixpoint algorithms used by our implementation; lastly, we provide experimental results for small programs.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 131, 24 May 2005, Pages 85-98
Journal: Electronic Notes in Theoretical Computer Science - Volume 131, 24 May 2005, Pages 85-98
نویسندگان
Isabelle Pollet, Baudouin Le Charlier,