Досліджує граматики, побудову трансляторів, оптимізацію компіляції, розробляє методи аналізу коду і підвищення ефективності мов високого рівня.
Наразі нема вмісту класифікованого цим терміном.