تحلیل ایستا و طراحی کامپایلر برای زبان‌های برنامه‌نویسی