Academic Journal
Using abstract interpretation to add type checking for interfaces in Java bytecode verification
| العنوان: | Using abstract interpretation to add type checking for interfaces in Java bytecode verification |
|---|---|
| المؤلفون: | De Francesco, Nicoletta, Lettieri, Giuseppe, Martini, Luca |
| المصدر: | Theoretical Computer Science ; volume 411, issue 22-24, page 2174-2201 ; ISSN 0304-3975 |
| بيانات النشر: | Elsevier BV |
| سنة النشر: | 2010 |
| المجموعة: | ScienceDirect (Elsevier - Open Access Articles via Crossref) |
| نوع الوثيقة: | article in journal/newspaper |
| اللغة: | English |
| DOI: | 10.1016/j.tcs.2010.01.026 |
| الاتاحة: | http://dx.doi.org/10.1016/j.tcs.2010.01.026 https://api.elsevier.com/content/article/PII:S0304397510000514?httpAccept=text/xml https://api.elsevier.com/content/article/PII:S0304397510000514?httpAccept=text/plain |
| Rights: | https://www.elsevier.com/tdm/userlicense/1.0/ ; https://www.elsevier.com/open-access/userlicense/1.0/ |
| رقم الانضمام: | edsbas.BD09BE42 |
| قاعدة البيانات: | BASE |
| DOI: | 10.1016/j.tcs.2010.01.026 |
|---|