Proqramlaşdırma dili nəzəriyyəsi
Proqramlaşdırma dili nəzəriyyəsi — proqramlaşdırma dilləri kimi tanınan formal dillərin dizaynı, tətbiq olunması, təhlili, xarakteristikası və təsnifatı ilə məşğul olan kompüter elminin bir sahəsi. Proqramlaşdırma dili nəzəriyyəsi riyaziyyat, proqram təminatı mühəndisliyi və dilçilik kimi digər sahələrlə sıx bağlıdır. Sahənin bir sıra elmi konfransları və jurnalları mövcuddur.