Проєктує та вдосконалює мови програмування, інтерпретатори, компілятори; оптимізує синтаксис і семантику, забезпечує зручність для програмістів різних рівнів.
Наразі нема вмісту класифікованого цим терміном.