Programmide süntees (synthesis of programs)

- programmi teksti (enamasti automaatne) genereerimine kirjelduse põhjal. Programmi kirjeldus e. spetsifikatsioon võib olla näiteks mingis formaalses keeles esitatud sõltuvus siendite ja väljundite vahel. Programmide sünteesi ühe etapina toimub ülesande lahendusalgoritmi genereerimine ülesande püstitusest.