Sayansi ya tarakilishi
Nadharia ya lugha ya upangaji ni tawi la sayansi ya kompyuta ambalo hujishughulisha na muundo, utekelezaji, uchambuzi, uainishaji, na uainishaji wa lugha za programu na sifa zao za kibinafsi. Inaangukia ndani ya taaluma ya sayansi ya kompyuta, kutegemea na kuathiri hisabati, uhandisi wa programu, na isimu. Ni eneo amilifu la utafiti, lenye majarida mengi ya kitaaluma yaliyojitolea.