[Amnon]

Imagine humans in prehistoric times thinking about making contact with aliens: "Will their spearheads be made of stone or a more advanced material?" If aliens will come we'll see that the questions you ask here are irrelevant, as the terms programs and programming languages will not apply to their technology -- it will be something completely different.

Admittedly, programming has mathematical foundations (algorithms) so it has a good change to still be relevant.

If they do have programs, then the according to the Church-Turing thesis the programs could be translated to human code, but not necessarily in a clear way.