Devil's advocate question for a person who likes this research: What formal definition of a "program synthesizer" would exclude C compilers from being program s

Devil's advocate question for a person who likes this research: What formal definition of a "program synthesizer" would exclude C compilers from being program synthesizers? Similarly, what precisely distinguishes C or any other programming language from a "specification" language?