تحلیل زیرساخت‌های زبان‌های برنامه‌نویسی و ماشین مجازی