ESC/Java2 Frontend 2.0.5
ESC پروژه / Java2 ظاهر تجزیه جاوا کد منبع و 1.4 جاوا 1.5 بایت کد را به یک نحو خلاصه درخت است که می تواند برای چک کردن استاتیک تمدید استفاده می شود.استاتیک جستجوگر گسترده برای جاوا نسخه 2 (ESC / Java2) ابزار برنامه نویسی است که تلاش برای پیدا کردن خطاها در زمان اجرا مشترک در برنامه های جاوا JML تفسیر های تجزیه و تحلیل...